WebHost: make a fresh Room reload page once if port is not assigned yet

WebHostLib/misc.py

@@ -124,7 +124,7 @@ def display_log(room: UUID):
 
 @app.route('/room/<suuid:room>', methods=['GET', 'POST'])
 def host_room(room: UUID):
-    room = Room.get(id=room)
+    room: Room = Room.get(id=room)
     if room is None:
         return abort(404)
     if request.method == "POST":
@@ -134,10 +134,13 @@ def host_room(room: UUID):
                 Command(room=room, commandtext=cmd)
                 commit()
 
+    now = datetime.datetime.utcnow()
+    # indicate that the page should reload to get the assigned port
+    should_refresh = not room.last_port and now - room.creation_time < datetime.timedelta(seconds=3)
     with db_session:
-        room.last_activity = datetime.utcnow()  # will trigger a spinup, if it's not already running
+        room.last_activity = now  # will trigger a spinup, if it's not already running
 
-    return render_template("hostRoom.html", room=room)
+    return render_template("hostRoom.html", room=room, should_refresh=should_refresh)
 
 
 @app.route('/favicon.ico')

WebHostLib/templates/hostRoom.html

@@ -2,6 +2,7 @@
 {% import "macros.html" as macros %}
 {% block head %}
     <title>Multiworld {{ room.id|suuid }}</title>
+    {% if should_refresh %}<meta http-equiv="refresh" content="2">{% endif %}
     <link rel="stylesheet" type="text/css" href="{{ url_for('static', filename="styles/hostRoom.css") }}"/>
 {% endblock %}