build documentation in the background

book/update.cgi

@@ -4,29 +4,31 @@ use strict;
 use warnings;
 
 use CGI;
-my $r = new CGI;
+my $r = CGI->new;
 
 print $r->header();
 print "<p>pulling repo...<br/>";
 system 'git fetch origin && git reset --hard origin/master';
 system 'git submodule update --init --recursive';
 print "<br/>done.</p>";
 
-print "<p>building documentation...<br/>";
+print "<p>building documentation in the background...<br/>";
 chdir "..";
 
-my $status = system('/bin/bash', '-c', '
-    source venv/bin/activate &&
-    poetry install --only docs &&
-    sphinx-build -M html underactuated /tmp/underactuated_doc &&
-    rm -rf book/python &&
-    cp -r /tmp/underactuated_doc/html book/python
-');
+my $status = system(
+    'nohup', '/bin/bash', '-c', '
+        source venv/bin/activate &&
+        poetry install --only docs &&
+        sphinx-build -M html underactuated /tmp/underactuated_doc &&
+        rm -rf book/python &&
+        cp -r /tmp/underactuated_doc/html book/python
+    > /tmp/underactuated_build_docs.log 2>&1', '&'
+);
 
 if ($status == 0) {
-    print "<br/>done.</p>";
+    print "<br/>Documentation build started in the background. Check /tmp/underactuated_build_docs.log for progress.</p>";
 } else {
-    print "<br/>Error occurred: $status</p>";
+    print "<br/>Error occurred while starting the build process: $status</p>";
 }
 
 print $r->end_html;