Sopremo server saves pid in user-specific file