[http] TCP_CORK / TCP_NOPUSH by default

[http] selectable gzip compression level
[docs] reverse proxy updated

ajenti/core.py

@@ -133,6 +133,10 @@ def run():
         listener.listen(10)
     else:
         listener = socket.socket(socket.AF_INET6 if ':' in bind_spec[0] else socket.AF_INET, socket.SOCK_STREAM)
+        try:
+            listener.setsockopt(socket.IPPROTO_TCP, socket.TCP_CORK, 1)
+        except:
+            listener.setsockopt(socket.IPPROTO_TCP, socket.TCP_NOPUSH, 1)
         listener.setsockopt(socket.SOL_SOCKET, socket.SO_REUSEADDR, 1)
         try:
             listener.bind(bind_spec)

ajenti/http.py

@@ -139,12 +139,12 @@ def redirect(self, url):
         self.respond('302 Found')
         return ''
 
-    def gzip(self, content):
+    def gzip(self, content, compression=9):
         """
         Returns a GZip compressed response with given ``content`` and correct headers
         """
         io = StringIO()
-        gz = gzip.GzipFile('', 'wb', 9, io)
+        gz = gzip.GzipFile('', 'wb', compression, io)
         gz.write(content)
         gz.close()
         compressed = io.getvalue()

docs/source/man/reverse-proxy.rst

@@ -12,7 +12,9 @@ All Ajenti URLs are absolute and start with ``/ajenti:``, which makes it easy to
         listen 80;
 
         location /ajenti {
+            rewrite (/ajenti)$ / break;
             rewrite /ajenti/(.*) /$1 break;
+
             proxy_pass  http://127.0.0.1:8000;
             proxy_redirect / /ajenti/;
             proxy_set_header Host $host;