git.graph-it.com / graphit / controlpi-wsserver.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d35b1f9) | patch
Repair mypy and linting. Switch to loop.create_future().
authorBenjamin Braatz <bb@bbraatz.eu>
Mon, 17 Jul 2023 01:08:03 +0000 (03:08 +0200)
committerBenjamin Braatz <bb@bbraatz.eu>
Mon, 17 Jul 2023 01:08:03 +0000 (03:08 +0200)
commit967426e429466808f3cceee78293676dc7d72f93
treec468cc80048d07c68cedd89191c3be07183bb5b1tree | snapshot
parentd35b1f94d9a19a69e446ef814b3f99c0501cb4cdcommit | diff
Repair mypy and linting. Switch to loop.create_future().
controlpi_plugins/wsserver.py diff | blob | history