Pid file: differenze tra le versioni