diff options
| author | Christian Grothoff <christian@grothoff.org> | 2019-10-31 13:03:48 +0100 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2019-10-31 13:03:48 +0100 |
| commit | 7e3cf5f461eb4fbb7581672bf0835da07c378136 (patch) | |
| tree | bdc3874b7894242b095b892f1ed3e81a4d4f06c0 /src/testbed/gnunet-service-testbed.c | |
| parent | 01b480d6d026e0c537dc284a7e7df2c0320a3528 (diff) | |
| download | gnunet-7e3cf5f461eb4fbb7581672bf0835da07c378136.tar.gz gnunet-7e3cf5f461eb4fbb7581672bf0835da07c378136.zip | |
tighten formatting rules
Diffstat (limited to 'src/testbed/gnunet-service-testbed.c')
| -rw-r--r-- | src/testbed/gnunet-service-testbed.c | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/src/testbed/gnunet-service-testbed.c b/src/testbed/gnunet-service-testbed.c index b34550339..21a9d0a51 100644 --- a/src/testbed/gnunet-service-testbed.c +++ b/src/testbed/gnunet-service-testbed.c | |||
| @@ -836,8 +836,7 @@ client_disconnect_cb (void *cls, | |||
| 836 | * from stdin, but if stdin fails for some reason, this shouldn't | 836 | * from stdin, but if stdin fails for some reason, this shouldn't |
| 837 | * hurt for now --- might need to revise this later if we ever | 837 | * hurt for now --- might need to revise this later if we ever |
| 838 | * decide that master connections might be temporarily down | 838 | * decide that master connections might be temporarily down |
| 839 | * for some reason */ | 839 | * for some reason */// GNUNET_SCHEDULER_shutdown (); |
| 840 | // GNUNET_SCHEDULER_shutdown (); | ||
| 841 | } | 840 | } |
| 842 | } | 841 | } |
| 843 | 842 | ||