diff options
| author | 2018-11-14 10:27:15 +0000 | |
|---|---|---|
| committer | 2018-11-14 10:27:15 +0000 | |
| commit | ca965e20cc2cbb4a897d1c708d3553fdc8d4b765 (patch) | |
| tree | 6d4c8abc2b5f39f8c92792dff2d1f0f7a7027f64 | |
| parent | Do a bold+unbold *after* the colored parts of github's "added/removed/modified" (diff) | |
| signature | ||
`bool_input` moved to utils.cli
| -rwxr-xr-x | start.py | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -73,7 +73,7 @@ if len(server_configs): bot.run() else: try: - if bool_input("no servers found, add one?"): + if utils.cli.bool_input("no servers found, add one?"): utils.cli.add_server(database) except KeyboardInterrupt: print() |
