REST: fallback to default port

1 files changed, 3 insertions, 4 deletions

diff --git a/src/rest/gnunet-rest-server.c b/src/rest/gnunet-rest-server.c
index 813525404..ba1d595fd 100644
--- a/src/rest/gnunet-rest-server.c
+++ b/src/rest/gnunet-rest-server.c
@@ -824,14 +824,13 @@ run (void *cls,
 
   /* Get port to bind to */
   if (GNUNET_OK != GNUNET_CONFIGURATION_get_value_number (cfg, "rest",
-                                                          "PORT",
+                                                          "HTTP_PORT",
                                                           &port))
   {
     //No address specified
     GNUNET_log (GNUNET_ERROR_TYPE_ERROR,
-                "Don't know what port to use...\n");
-    GNUNET_SCHEDULER_shutdown ();
-    return;
+                "Using default port...\n");
+    port = GNUNET_REST_SERVICE_PORT;
   }
 
   /* Get address to bind to */