Make diffserver respect the -P commandline arg