X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=debian%2Fovs-monitor-ipsec;h=184b00469a1d1df9eda1c8ee07385258666b9463;hb=015c93a49a4380a1645de83a0567d4736ddde622;hp=1caece3a91f4881caa9bafea677c0adac212e67a;hpb=a3acf0b0c46a28d6c891086e054d81dd915eea2e;p=openvswitch

diff --git a/debian/ovs-monitor-ipsec b/debian/ovs-monitor-ipsec
index 1caece3a..184b0046 100755
--- a/debian/ovs-monitor-ipsec
+++ b/debian/ovs-monitor-ipsec
@@ -347,3 +347,4 @@ if __name__ == '__main__':
         raise
     except:
         s_log.exception("traceback")
+        sys.exit(ovs.daemon.RESTART_EXIT_CODE)