diff options
| author | pjd <pjd@FreeBSD.org> | 2006-01-30 22:50:13 +0000 |
|---|---|---|
| committer | pjd <pjd@FreeBSD.org> | 2006-01-30 22:50:13 +0000 |
| commit | f9836a378dd449473e8e5a10774d2be75247f682 (patch) | |
| tree | 7e2a62d8062adb9592f5134d9b3a50b27a438bed /sbin/devd/devd.hh | |
| parent | 74978a10e17d9d7c790f0696d2811484358de145 (diff) | |
| download | FreeBSD-src-f9836a378dd449473e8e5a10774d2be75247f682.zip FreeBSD-src-f9836a378dd449473e8e5a10774d2be75247f682.tar.gz | |
Use pidfile(3).
OK'ed by: imp
Diffstat (limited to 'sbin/devd/devd.hh')
| -rw-r--r-- | sbin/devd/devd.hh | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/sbin/devd/devd.hh b/sbin/devd/devd.hh index 55af222..a1ee9cd 100644 --- a/sbin/devd/devd.hh +++ b/sbin/devd/devd.hh @@ -153,7 +153,9 @@ public: void set_pidfile(const char *); void reset(); void parse(); - void drop_pidfile(); + void open_pidfile(); + void write_pidfile(); + void remove_pidfile(); void push_var_table(); void pop_var_table(); void set_variable(const char *var, const char *val); |
