-LRN: fix normal child death restart.
authorChristian Grothoff <christian@grothoff.org>
Sun, 25 Dec 2011 20:51:03 +0000 (20:51 +0000)
committerChristian Grothoff <christian@grothoff.org>
Sun, 25 Dec 2011 20:51:03 +0000 (20:51 +0000)
commitfd20a7d04e49f9317de85b7f40f79d447d6e1715
tree2518533ec91bb2bb93828888ce49b1b1fd3faa31
parent094c0ee00e4d4a4b7b7f66138d39c9ff7f8535f2
-LRN: fix normal child death restart.

It does work in the sense that child process is restarted.
However, i didn't have an opportunity to test it for non-default
processes (default processes are restarted immediately; non-default
processes should be restarted on demand).
src/arm/gnunet-service-arm.c