add shutdown-ignore option to server
authorChristian Grothoff <christian@grothoff.org>
Sun, 15 Nov 2009 17:57:03 +0000 (17:57 +0000)
committerChristian Grothoff <christian@grothoff.org>
Sun, 15 Nov 2009 17:57:03 +0000 (17:57 +0000)
commit0c725262770a39908e6171b9a4d0c19917e1d7cf
tree3e7e659c020ce24f59a2f00e1de4d39093bdc329
parentbe9e0f23d0e24c093597e342024f29b0111f7f9b
add shutdown-ignore option to server
src/include/gnunet_server_lib.h
src/util/server.c