 Unrud
|
bbaf0ebd8c
Change name in file header
|
4 yıl önce |
|
Unrud
|
e629e9a2e1
Require argument for --config command-line option
|
4 yıl önce |
|
Unrud
|
98b49ac2b6
Optional argument for boolean command-line options
|
4 yıl önce |
|
Unrud
|
08e789d993
Support backend specific options and HTTP headers via command-line
|
4 yıl önce |
|
Unrud
|
b23aa4629c
Refactor command line argument parser
|
4 yıl önce |
|
Unrud
|
dba6338968
Rename opposite to opposite_aliases
|
4 yıl önce |
|
Unrud
|
7c9c873b13
Don't modify DEFAULT_CONFIG_SCHEMA
|
4 yıl önce |
|
Unrud
|
cecb17df03
More type hints
|
4 yıl önce |
|
Unrud
|
742a067171
Disallow abbreviated arguments
|
5 yıl önce |
|
Unrud
|
0e8949ff71
Internal server: Shutdown server via socket
|
5 yıl önce |
|
Unrud
|
7096ab74e8
Don't modify global constants
|
5 yıl önce |
|
Unrud
|
30c9c55358
Exit immediately after cleanup when signal is received
|
5 yıl önce |
|
Unrud
|
5371be2b39
Mark internal configuration options and sections with underscore
|
6 yıl önce |
|
Unrud
|
3b99d64935
Cosmetic changes
|
6 yıl önce |
|
Unrud
|
a872b633fb
Refactor: Remove method Configuration.log_config_sources
|
6 yıl önce |
|
Unrud
|
db7587c593
Cosmetic changes
|
6 yıl önce |
|
Unrud
|
866aa34f54
Cosmetic changes
|
6 yıl önce |
|
Unrud
|
0fb02cd026
Cosmetic changes (pylint)
|
6 yıl önce |
|
Unrud
|
9b51e495ea
Allow --config parameter multiple times
|
6 yıl önce |
|
Unrud
|
88a0af8ba1
Improve documentation
|
6 yıl önce |
|
Unrud
|
caf5ff1080
Change default value for external users
|
6 yıl önce |
|
Unrud
|
a7f4ffa7d4
Rename Configuration.inspect to log_config_sources
|
6 yıl önce |
|
Unrud
|
b7590f8c84
Rework configuration
|
6 yıl önce |
|
Unrud
|
63e6d091b9
Update copyright
|
6 yıl önce |
|
Unrud
|
9d72341df2
Use CRITICAL level for start-up failures
|
7 yıl önce |
|
Unrud
|
5e0a387ed9
remove whitespace before email
|
7 yıl önce |
|
Unrud
|
5a433f5476
Test internal server
|
7 yıl önce |
|
Unrud
|
8869b34470
refactor
|
7 yıl önce |
|
Unrud
|
59f7104dce
Replace option "debug" with "level" in "logging"
|
7 yıl önce |
|
Unrud
|
3d77238a4b
Move WSGI server to server.py
|
7 yıl önce |
