diff options
| author | Christian Grothoff <christian@grothoff.org> | 2012-06-10 22:51:39 +0000 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2012-06-10 22:51:39 +0000 |
| commit | 85363810368ccb5d1a87f6cefd9768e202182f52 (patch) | |
| tree | 4b8c343ee7f72a586346599db3c5f3ecaf968310 /src/arm | |
| parent | 15e5eb6928ccb3511a471b4c052c2e5b73937791 (diff) | |
| download | gnunet-85363810368ccb5d1a87f6cefd9768e202182f52.tar.gz gnunet-85363810368ccb5d1a87f6cefd9768e202182f52.zip | |
-fix
Diffstat (limited to 'src/arm')
| -rw-r--r-- | src/arm/gnunet-arm.c | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/src/arm/gnunet-arm.c b/src/arm/gnunet-arm.c index 744c3f208..8ce8375e7 100644 --- a/src/arm/gnunet-arm.c +++ b/src/arm/gnunet-arm.c | |||
| @@ -25,11 +25,8 @@ | |||
| 25 | */ | 25 | */ |
| 26 | #include "platform.h" | 26 | #include "platform.h" |
| 27 | #include "gnunet_arm_service.h" | 27 | #include "gnunet_arm_service.h" |
| 28 | #include "gnunet_client_lib.h" | ||
| 29 | #include "gnunet_constants.h" | 28 | #include "gnunet_constants.h" |
| 30 | #include "gnunet_getopt_lib.h" | 29 | #include "gnunet_util_lib.h" |
| 31 | #include "gnunet_program_lib.h" | ||
| 32 | #include "gnunet_time_lib.h" | ||
| 33 | 30 | ||
| 34 | /** | 31 | /** |
| 35 | * Timeout for stopping services. Long to give some services a real chance. | 32 | * Timeout for stopping services. Long to give some services a real chance. |