diff options
| author | Sree Harsha Totakura <totakura@in.tum.de> | 2013-10-12 00:07:33 +0000 |
|---|---|---|
| committer | Sree Harsha Totakura <totakura@in.tum.de> | 2013-10-12 00:07:33 +0000 |
| commit | 27728a48d661e9ee546cc95aae8fa52050eefb29 (patch) | |
| tree | 89450fc22b530dc592134ac18405180eeafe13b3 /src/hostlist/test_gnunet_daemon_hostlist_reconnect.c | |
| parent | 6d38e5b12b460d1d7f0a6eafe1410f7121e04002 (diff) | |
| download | gnunet-27728a48d661e9ee546cc95aae8fa52050eefb29.tar.gz gnunet-27728a48d661e9ee546cc95aae8fa52050eefb29.zip | |
- change --enable-ll to --enable-supermuc
- define a system wide termination signal GNUNET_TERM_SIG. Set this to SIGUSR1 only when building for SuperMUC
Diffstat (limited to 'src/hostlist/test_gnunet_daemon_hostlist_reconnect.c')
| -rw-r--r-- | src/hostlist/test_gnunet_daemon_hostlist_reconnect.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/hostlist/test_gnunet_daemon_hostlist_reconnect.c b/src/hostlist/test_gnunet_daemon_hostlist_reconnect.c index 21b2973de..6b38ffe19 100644 --- a/src/hostlist/test_gnunet_daemon_hostlist_reconnect.c +++ b/src/hostlist/test_gnunet_daemon_hostlist_reconnect.c | |||
| @@ -153,7 +153,7 @@ waitpid_task (void *cls, const struct GNUNET_SCHEDULER_TaskContext *tc) | |||
| 153 | struct PeerContext *p = cls; | 153 | struct PeerContext *p = cls; |
| 154 | 154 | ||
| 155 | GNUNET_log (GNUNET_ERROR_TYPE_DEBUG, "Killing ARM process.\n"); | 155 | GNUNET_log (GNUNET_ERROR_TYPE_DEBUG, "Killing ARM process.\n"); |
| 156 | if (0 != GNUNET_OS_process_kill (p->arm_proc, SIGTERM)) | 156 | if (0 != GNUNET_OS_process_kill (p->arm_proc, GNUNET_TERM_SIG)) |
| 157 | GNUNET_log_strerror (GNUNET_ERROR_TYPE_WARNING, "kill"); | 157 | GNUNET_log_strerror (GNUNET_ERROR_TYPE_WARNING, "kill"); |
| 158 | if (GNUNET_OS_process_wait (p->arm_proc) != GNUNET_OK) | 158 | if (GNUNET_OS_process_wait (p->arm_proc) != GNUNET_OK) |
| 159 | GNUNET_log_strerror (GNUNET_ERROR_TYPE_WARNING, "waitpid"); | 159 | GNUNET_log_strerror (GNUNET_ERROR_TYPE_WARNING, "waitpid"); |