ppigazzini

snippet of nginx config ```nginx server { listen 80; listen [::]:80; server_name dfts-0.pigazzini.it; location / { return 301 https://$host/tests; } location /api/ { proxy_set_header Connection ""; proxy_set_header X-Forwarded-Proto $scheme; proxy_set_header...

I was talking about named pipe, shared memory, not this PR. I'm not a fan to add another tool, hitting the rough corner, but redis is the standard tool to...

Written on the fly, code fixed.

In nginx config we set at http level few rate limits: - per host - per URI - per IP (here we have a whitelist setup) Also with the cookie...

- DEV: 2 workers 6 cores ```yaml # logging from [09/May/2024:07:08:36 +0200] to [09/May/2024:22:31:29 +0200] ######## # duration (seconds) : 55373 # calls in total : 10000 # calls per...

To pass the CI please update the `sri.txt` file running: ``` env/bin/python3 worker.py a a --only_config --no_validation ```

> @ppigazzini - how can I resolve the conflict in worker/sri.txt? Can you please resolve it yourself? I rebased on master, solved the conflicts on `sri.txt` (they compare twice), formatted...

That request version was the last compatible one with python 3.6.8 used by noob's workers. However, local installed packages should still have the priority respect to the shipped packages (`expression`...

For an invalid net the code: - skips the write to the global_cache - writes the invalid net in testing dir Is it the intended workflow? EDIT: there is a...

Workers upgraded, thank you @vondele :)