Update resources/web/server/simulation_server.py

Co-authored-by: Stefania Pedrazzi <stefaniapedrazzi@users.noreply.github.com>
ffalconu · May 7, 2020 · 9a70c8e · 9a70c8e
1 parent 594cb76
commit 9a70c8e
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/resources/web/server/simulation_server.py b/resources/web/server/simulation_server.py
@@ -152,7 +152,7 @@ def setup_project(self):
             return self.setup_project_from_zip()
 
     def setup_project_from_github(self):
-        logging.info("setup_project_from_github " + self.url)
+        logging.info("Setup project from GitHub " + self.url)
         if not self.url.startswith('webots://github.com/'):
             logging.error('The URL argument should start with "webots://github.com/"')
             return False