From 36303447f006c8c87cf4e91794b96752003e4b68 Mon Sep 17 00:00:00 2001
From: Sapan Bhatia <sapanb@cs.princeton.edu>
Date: Thu, 26 Mar 2009 14:45:13 +0000
Subject: [PATCH]

---
 unixsocketwatcher.ml | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/unixsocketwatcher.ml b/unixsocketwatcher.ml
index f55e9de..420d05a 100644
--- a/unixsocketwatcher.ml
+++ b/unixsocketwatcher.ml
@@ -53,6 +53,8 @@ let receive_event (listening_socket_spec:fname_and_fd) (_:fname_and_fd) =
                         in
                             logprint "Could not execve %s" execpath
                     end
+                  else
+                    close_if_open(data_socket)
               end
           | None -> ()
     with e-> logprint "Error accepting socket\n"
-- 
2.43.0