X-Git-Url: https://arthur.barton.de/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=cmd%2Fweb-cmd.py;h=b004d75e9c522c3ed49d6d3d197483855fc496e6;hb=c1e027d8e47837ee1cc29a7dd75266a8704bd3ef;hp=810af2d069e610e8a8c054a9c7fd2391016f8c6e;hpb=81c7f9780bd127a6cf38c200dbc4a0740a142501;p=bup.git diff --git a/cmd/web-cmd.py b/cmd/web-cmd.py index 810af2d..b004d75 100755 --- a/cmd/web-cmd.py +++ b/cmd/web-cmd.py @@ -268,7 +268,7 @@ else: try: port = int(port) except (TypeError, ValueError) as ex: - o.fatal('port must be an integer, not %r', port) + o.fatal('port must be an integer, not %r' % port) address = InetAddress(host=host, port=port) git.check_repo_or_die()