autorun: fixed int to str bug in Server

diff --git a/autorun/server/Server.py b/autorun/server/Server.py
index 49366f068b03f12c29c761a45babc7c18c7e6839..406b48b92efaedcf67fafd891fbb720fbb18a38d 100644 (file)
--- a/autorun/server/Server.py
+++ b/autorun/server/Server.py
@@ -255,7 +255,7 @@ class MyDaemon(Daemon):
         
         int_pid = int(pid)
         if int_pid == -1 or int_pid not in self.processes_fd.keys():
-            return "Invalid pid " + pid
+            return "Invalid pid " + str(pid)
         os.kill(int_pid, signal.SIGKILL) # kill generates zombies
         os.wait()
         self.processes_fd[int_pid][0].close()