pid without newline -- required for Scala version of system_out;
authorwenzelm
Mon, 28 Dec 2009 18:37:11 +0100
changeset 34197 aecdcaaa8ff3
parent 34196 c352f679dcca
child 34198 ff5486262cd6
pid without newline -- required for Scala version of system_out;
lib/scripts/system.pl
--- a/lib/scripts/system.pl	Mon Dec 28 16:45:01 2009 +0100
+++ b/lib/scripts/system.pl	Mon Dec 28 18:37:11 2009 +0100
@@ -17,7 +17,7 @@
 }
 
 open (PID_FILE, ">", $pid_name) || die $!;
-print PID_FILE "$$\n";
+print PID_FILE "$$";
 close PID_FILE;