diff options
author | Ralf Jung <post@ralfj.de> | 2016-02-07 21:10:27 +0100 |
---|---|---|
committer | Ralf Jung <post@ralfj.de> | 2016-02-07 21:10:27 +0100 |
commit | 1a85298cc06a5dd0d84961bb1060b1049920ef07 (patch) | |
tree | 010b815bd19d6dad5435d84dd24dd01f6eced437 | |
parent | 3311042f60fc70b874138f5c4e1f54b38ad751da (diff) |
slightly more informative error messages
Diffstat (limited to '')
-rwxr-xr-x | githook.py | 4 | ||||
-rwxr-xr-x | webhook-core.py | 4 |
2 files changed, 4 insertions, 4 deletions
@@ -35,7 +35,7 @@ if __name__ == "__main__": # find the repository we are dealing with reponame = find_repo_by_directory(repos, os.getcwd()) if reponame is None or reponame not in repos: - raise Exception("Unknown repository.") + raise Exception("Unknown repository {}.".format(reponame)) # now sync this repository repo = repos[reponame] @@ -50,5 +50,5 @@ if __name__ == "__main__": if repo is not None: repo.mail_owner("There was a problem running the git-mirror git hook:\n\n{}".format(traceback.format_exc())) # do not print all the details - sys.stderr.write("We have a problem:\n{}".format('\n'.join(traceback.format_exception_only(type(e), e)))) + sys.stderr.write("git-mirror: We have a problem:\n{}".format('\n'.join(traceback.format_exception_only(type(e), e)))) diff --git a/webhook-core.py b/webhook-core.py index 83cb03e..90432c8 100755 --- a/webhook-core.py +++ b/webhook-core.py @@ -51,7 +51,7 @@ if __name__ == "__main__": githubEvent = sys.argv[2] githubSignature = sys.argv[3] if reponame not in repos: - raise Exception("Repository missing or not found.") + raise Exception("Repository {} missing or not found.".format(reponame)) repo = repos[reponame] # now sync this repository @@ -91,4 +91,4 @@ if __name__ == "__main__": print("Status: 500 Internal Server Error") print("Content-Type: text/plain") print() - print("We have a problem:\n{}".format('\n'.join(traceback.format_exception_only(type(e), e)))) + print("git-mirror: We have a problem:\n{}".format('\n'.join(traceback.format_exception_only(type(e), e)))) |