We could search in the source, but I’m 99.999% sure it is a PID, because of course has to work in different environments. So I do not think it should be a problem.