Ben Gras
1a37474437
. minor formatting fixes (spaces, newlines) of messages
...
. check pids for being > 0 before kill()ing them (0 and negative
numbers have special meanings that shouldn't be used)
2005-10-21 11:13:17 +00:00
Jorrit Herder
7f6137d230
Renamed to manager.h.
2005-10-20 20:32:22 +00:00
Jorrit Herder
26188d9595
*** empty log message ***
2005-10-20 20:31:42 +00:00
Jorrit Herder
2a98fed515
New Reincarnation Server functionality.
...
- service refresh: to cleanly stop and restart a server or driver
- binary exponential backoff: don't restart in a loop
2005-10-20 20:31:18 +00:00
Ben Gras
11146aba3d
Newline after startup msg
2005-10-20 18:54:53 +00:00
Jorrit Herder
5a9dec8bd2
New signal handling behaviour at PM (services can be killed).
...
New Shift-F6 dump for RS server at IS.
New getnpid, getnproc, getpproc library calls at PM.
New reincarnation server (basic functionality is there now).
2005-10-12 15:07:38 +00:00
Ben Gras
42fbd9aced
Andy's formatting changes.
2005-09-11 16:45:46 +00:00
Jorrit Herder
68da9cc0fe
*** empty log message ***
2005-08-25 12:33:09 +00:00
Jorrit Herder
7bf400a709
*** empty log message ***
2005-08-23 11:31:32 +00:00
