1 files changed, 9 insertions, 0 deletions
diff --git a/script/autobuild.py b/script/autobuild.py
index cb3e9595bd..3fae59f255 100755
--- a/script/autobuild.py
+++ b/script/autobuild.py
@@ -273,6 +273,13 @@ def daemonize(logfile):
     os.dup2(0, 1)
     os.dup2(0, 2)
 
+def write_pidfile(fname):
+    '''write a pid file, cleanup on exit'''
+    f = open(fname, mode='w')
+    f.write("%u\n" % os.getpid())
+    f.close()
+    cleanup_list.append(fname)
+
 
 def rebase_tree(url):
     print("Rebasing on %s" % url)
@@ -435,6 +442,8 @@ if options.daemon:
     print "Forking into the background, writing progress to %s" % logfile
     daemonize(logfile)
 
+write_pidfile(gitroot + "/autobuild.pid")
+
 while True:
     try:
         run_cmd("rm -rf %s" % test_master)