Und eine Frage noch: wenn ich den Server als separaten Prozess gestartet habe weiß das Script ja nur die PID. Kann man es machen, dass der Server von außen sauber beendet wird ohne ihn mit der PID zu killen?