]> Zhao Yanbai Git Server - minix.git/commit
. minor formatting fixes (spaces, newlines) of messages
authorBen Gras <ben@minix3.org>
Fri, 21 Oct 2005 11:13:17 +0000 (11:13 +0000)
committerBen Gras <ben@minix3.org>
Fri, 21 Oct 2005 11:13:17 +0000 (11:13 +0000)
commit1a3747443754ddc5f68ce9d50d014444873473c2
tree6b4804d13fed3aadc17749a9ef71f5f78cbe29de
parent629453fba805b53bc0d719bdce4e345e683a36fd
. 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)
servers/rs/manager.c