X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=lib%2Fdaemon.h;h=1d630768e18579120f91161d26c26234bd2f41bc;hb=c259baae45d76592eb14db5abde20aa72e7f2605;hp=06280ac24c3dbf60d2874f1d64354a36d7f50306;hpb=58fda1dab104041fc693032475ec4662c1a52849;p=openvswitch

diff --git a/lib/daemon.h b/lib/daemon.h
index 06280ac2..1d630768 100644
--- a/lib/daemon.h
+++ b/lib/daemon.h
@@ -1,5 +1,5 @@
 /*
- * Copyright (c) 2008, 2009 Nicira Networks.
+ * Copyright (c) 2008, 2009, 2010 Nicira Networks.
  *
  * Licensed under the Apache License, Version 2.0 (the "License");
  * you may not use this file except in compliance with the License.
@@ -26,13 +26,15 @@ enum {
     OPT_NO_CHDIR,
     OPT_OVERWRITE_PIDFILE,
     OPT_PIDFILE,
+    OPT_MONITOR
 };
 
 #define DAEMON_LONG_OPTIONS                                          \
         {"detach",            no_argument, 0, OPT_DETACH},           \
         {"no-chdir",          no_argument, 0, OPT_NO_CHDIR},         \
         {"pidfile",           optional_argument, 0, OPT_PIDFILE},    \
-        {"overwrite-pidfile", no_argument, 0, OPT_OVERWRITE_PIDFILE}
+        {"overwrite-pidfile", no_argument, 0, OPT_OVERWRITE_PIDFILE},\
+        {"monitor",           no_argument, 0, OPT_MONITOR}
 
 #define DAEMON_OPTION_HANDLERS                  \
         case OPT_DETACH:                        \
@@ -49,6 +51,10 @@ enum {
                                                 \
         case OPT_OVERWRITE_PIDFILE:             \
             ignore_existing_pidfile();          \
+            break;                              \
+                                                \
+        case OPT_MONITOR:                       \
+            daemon_set_monitor();               \
             break;
 
 char *make_pidfile_name(const char *name);
@@ -58,7 +64,10 @@ void set_no_chdir(void);
 bool is_chdir_enabled(void);
 void set_detach(void);
 bool get_detach(void);
+void daemon_set_monitor(void);
 void daemonize(void);
+void daemonize_start(void);
+void daemonize_complete(void);
 void die_if_already_running(void);
 void ignore_existing_pidfile(void);
 void daemon_usage(void);