 justheuristic
|
4644def930
make run_server executable via python -m
|
há 5 anos atrás |
|
justheuristic
|
3696bb065c
make run_server executable via python -m
|
há 5 anos atrás |
|
justheuristic
|
ad651b0697
make run_server executable via python -m
|
há 5 anos atrás |
|
justheuristic
|
77e7777ab6
make run_server executable via python -m
|
há 5 anos atrás |
|
justheuristic
|
f611f004f9
background_server is now a contextmanager
|
há 5 anos atrás |
|
justheuristic
|
87a5916d74
background_server is now a contextmanager
|
há 5 anos atrás |
|
justheuristic
|
384ccc1115
background_server is now a contextmanager
|
há 5 anos atrás |
|
justheuristic
|
cbeb07205f
background_server is now a contextmanager
|
há 5 anos atrás |
|
justheuristic
|
d703c8d4c5
background_server is now a contextmanager
|
há 5 anos atrás |
|
justheuristic
|
9a8320c106
pep8
|
há 5 anos atrás |
|
justheuristic
|
6605b00d05
safer shutdown order
|
há 5 anos atrás |
|
justheuristic
|
cbf1c42df1
unified prefix scheme
|
há 5 anos atrás |
|
justheuristic
|
dfa9dfaae2
move to notes
|
há 5 anos atrás |
