server: log controlling pid

* stap-serverd (initialization): Log startup pid.

diff --git a/stap-serverd b/stap-serverd
index f3df884d28a3cacfb7db4930adf33e9d5dd1e19f..4d8a10ceb9c0428f5356aca9d9fdbf7c453e36e4 100755 (executable)
--- a/stap-serverd
+++ b/stap-serverd
@@ -38,6 +38,8 @@ function initialization {
     # Parse the arguments
     parse_options "$@"
 
+    echo ===== compile server pid $$ started >> $logfile
+
     # What port will we listen on?
     test "X$port" = "X" && port=$((1024+$RANDOM%64000))
     while netstat -atn | awk '{print $4}' | cut -f2 -d: | egrep -q "^$port\$";