Adds docserver to the dev container

andyljones · Jul 22, 2020 · 3b07bcc · 3b07bcc
1 parent 0703871
commit 3b07bcc
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 1 deletion.
diff --git a/docker/dev.sh b/docker/dev.sh
@@ -7,5 +7,9 @@ echo "Launching Jupyter"
 mkdir -p output/logs
 nohup jupyter notebook --notebook-dir . --no-browser --port=5000 --ip=0.0.0.0 --allow-root --NotebookApp.token="" --NotebookApp.password="" >output/logs/jupyter.log 2>&1 &
 
+echo "Launching docs server"
+mkdir -p docs/_build
+nohup python -m http.server --directory docs/_build 9095 >output/logs/docserver.log 2>&1 &
+
 echo "Entering loop"
 while sleep 1000; do :; done
diff --git a/megastep/modules.py b/megastep/modules.py
@@ -275,7 +275,7 @@ def random_empty_positions(geometries, n_agents, n_points):
     The returned tensor is a (n_geometries, n_agents, n_points, 2)-float tensor, with the coordinates given in meters.
 
     This is typcially used when you want to randomly move an agent to a new place, but *finding* an empty point at 
-    each timestep is too expensive. So instead this is used to generate ``n_points` empty points in advance, and then
+    each timestep is too expensive. So instead this is used to generate ``n_points`` empty points in advance, and then
     when you need one you can choose from the pre-generated options.
     """ 
     points = []