Replace SGI STL doc with cppreference.com offline copy

Author: lw

.travis.yml

@@ -25,7 +25,7 @@ addons:
       - fp-units-rtl
       - postgresql-client
       - python2.7
-      - stl-manual
+      - cppreference-doc-en-html
       - cgroup-lite
       - libcap-dev
       - python-dev

cms/conf.py

@@ -136,7 +136,7 @@ def __init__(self):
         self.num_proxies_used = None
         self.max_submission_length = 100000
         self.max_input_length = 5000000
-        self.stl_path = "/usr/share/doc/stl-manual/html/"
+        self.stl_path = "/usr/share/cppreference/doc/html/"
         # Prefix of 'shared-mime-info'[1] installation. It can be found
         # out using `pkg-config --variable=prefix shared-mime-info`, but
         # it's almost universally the same (i.e. '/usr') so it's hardly

cms/server/contest/handlers/__init__.py

@@ -34,7 +34,7 @@
 from cms import config
 
 from .base import \
-    StaticFileGzHandler
+    StaticFileHandler
 from .main import \
     LoginHandler, \
     LogoutHandler, \
@@ -75,7 +75,7 @@
     (r"/notifications", NotificationsHandler),
     (r"/printing", PrintingHandler),
     (r"/documentation", DocumentationHandler),
-    (r"/stl/(.*)", StaticFileGzHandler, {"path": config.stl_path}),
+    (r"/stl/(.*)", StaticFileHandler, {"path": config.stl_path}),
 
     # Tasks
 

cms/server/contest/handlers/base.py

@@ -179,8 +179,8 @@ def get(self):
                     **self.r_params)
 
 
-class StaticFileGzHandler(tornado.web.StaticFileHandler):
-    """Handle files which may be gzip-compressed on the filesystem.
+class StaticFileHandler(tornado.web.StaticFileHandler):
+    """Handle static files in a multi-contest aware way.
 
     """
     def is_multi_contest(self):
@@ -195,24 +195,3 @@ def get_absolute_path(self, root, path_or_contest_name):
         else:
             # Otherwise, we can just use the second argument.
             return os.path.abspath(os.path.join(root, path_or_contest_name))
-
-    def validate_absolute_path(self, root, absolute_path):
-        self.is_gzipped = False
-        try:
-            return tornado.web.StaticFileHandler.validate_absolute_path(
-                self, root, absolute_path)
-        except tornado.web.HTTPError as e:
-            if e.status_code != 404:
-                raise
-            self.is_gzipped = True
-            self.absolute_path = \
-                tornado.web.StaticFileHandler.validate_absolute_path(
-                    self, root, absolute_path + ".gz")
-            self.set_header("Content-encoding", "gzip")
-            return self.absolute_path
-
-    def get_content_type(self):
-        if self.is_gzipped:
-            return "text/plain"
-        else:
-            return tornado.web.StaticFileHandler.get_content_type(self)

cms/server/contest/templates/documentation.html

@@ -14,7 +14,7 @@ <h2>{% trans %}Programming languages and libraries{% endtrans %}</h2>
 {% if contest.languages|map("to_language")|map(attribute="source_extensions")|any("contains", ".cpp") %}
 <h3>C++</h3>
 
-<p><a href="{{ contest_url("stl", "index.html") }}">{% trans %}Standard Template Library{% endtrans %}</a></p>
+<p><a href="{{ contest_url("stl", "en", "index.html") }}">{% trans %}Standard Template Library{% endtrans %}</a></p>
 {% endif %}
 
 {% if contest.languages|map("to_language")|map(attribute="source_extensions")|any("contains", ".java") %}

config/cms.conf.sample

@@ -119,7 +119,7 @@
     "max_input_length": 5000000,
 
     "_help": "STL documentation path in the system (exposed in CWS).",
-    "stl_path": "/usr/share/doc/stl-manual/html/",
+    "stl_path": "/usr/share/cppreference/doc/html/",
 
 
 

docs/Installation.rst

@@ -56,7 +56,8 @@ On Ubuntu 16.04, one will need to run the following script to satisfy all depend
     # Feel free to change OpenJDK packages with your preferred JDK.
     sudo apt-get install build-essential openjdk-8-jre openjdk-8-jdk \
         fp-compiler fp-units-base fp-units-fcl fp-units-misc fp-units-math fp-units-rtl \
-        postgresql postgresql-client python3.6 stl-manual cgroup-lite libcap-dev
+        postgresql postgresql-client python3.6 cppreference-doc-en-html cgroup-lite \
+        libcap-dev
 
     # Only if you are going to use pip/virtualenv to install python dependencies
     sudo apt-get install python3.6-dev libpq-dev libcups2-dev libyaml-dev \
@@ -78,7 +79,7 @@ On Arch Linux, unofficial AUR packages can be found: `cms <http://aur.archlinux.
 
     # Install the following from AUR.
     # https://aur.archlinux.org/packages/libcgroup/
-    # https://aur.archlinux.org/packages/sgi-stl-doc/
+    # https://aur.archlinux.org/packages/cppreference/
 
     # Only if you are going to use pip/virtualenv to install python dependencies
     sudo pacman -S --needed postgresql-libs libcups libyaml python-pip