kfet/static/kfet/js/kfet.js

@@ -78,7 +78,7 @@ class KfetWebsocket {
 
     listen() {
         var that = this;
-        this.socket = new ReconnectingWebSocket(this.url, [], { minReconnectionDelay: 100 });
+        this.socket = new ReconnectingWebSocket(this.url);
 
         this.socket.onmessage = function (e) {
             var data = $.extend({}, that.default_msg, JSON.parse(e.data));

shell.nix

@@ -1,12 +1,29 @@
-{
-  pkgs ? import <nixpkgs> { },
-  ...
-}:
+{ pkgs ? import <nixpkgs> { }, ... }:
 
 let
-  python = pkgs.python39;
+  python = pkgs.python38;
+
+  django-types = python.pkgs.buildPythonPackage rec {
+    pname = "django-types";
+    version = "0.17.0";
+
+    format = "pyproject";
+
+    src = pkgs.fetchPypi {
+      inherit pname version;
+      hash = "sha256-wcQqt4h2xXxyg0LVqwYHJas3H8jcg7uFuuC+BoRqrXA=";
+    };
+
+    nativeBuildInputs = with python.pkgs; [ poetry-core ];
+
+    # setup.cfg tries to pull in nonexistent LICENSE.txt file
+    # postPatch = "rm setup.cfg";
+
+    # propagatedBuildInputs = [ django typing-extensions ];
+  };
 in
 
+
 pkgs.mkShell {
   shellHook = ''
     export DJANGO_SETTINGS_MODULE=gestioasso.settings.local
@@ -17,14 +34,11 @@ pkgs.mkShell {
     pip install -r requirements-devel.txt | grep -v 'Requirement already satisfied:'
   '';
 
-  packages =
-    [ python ]
-    ++ (with python.pkgs; [
-      django-types
-      pip
-      virtualenv
-      python-ldap
-    ]);
+  packages = [ python django-types ] ++ (with python.pkgs; [
+    pip
+    virtualenv
+    python-ldap
+  ]);
 
   allowSubstitutes = false;
 }