diff options
| author | Gertjan van den Burg <gertjanvandenburg@gmail.com> | 2020-02-14 18:57:07 +0000 |
|---|---|---|
| committer | Gertjan van den Burg <gertjanvandenburg@gmail.com> | 2020-02-14 18:57:07 +0000 |
| commit | 73c6515b4fa9060666dd3e27c42be376446fcc73 (patch) | |
| tree | 43c315d03f65671c859918630e7f93c317def54f | |
| parent | Be more robust against missing meta data (diff) | |
| download | paper2remarkable-73c6515b4fa9060666dd3e27c42be376446fcc73.tar.gz paper2remarkable-73c6515b4fa9060666dd3e27c42be376446fcc73.zip | |
Ensure all text from exception goes to stderr
| -rw-r--r-- | paper2remarkable/ui.py | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/paper2remarkable/ui.py b/paper2remarkable/ui.py index 9b5dd42..69af4e6 100644 --- a/paper2remarkable/ui.py +++ b/paper2remarkable/ui.py @@ -97,8 +97,10 @@ def exception(msg): print("", file=sys.stderr) print( "If you think this might be a bug, please raise an issue on GitHub: %s" - % GITHUB_URL + % GITHUB_URL, + file=sys.stderr, ) + print("", file=sys.stderr) raise SystemExit(1) |