webssh

Web based ssh client https://github.com/huashengdun/webssh webssh.huashengdun.org/
git clone http://git.hanabi.in/repos/webssh.git
Log | Files | Refs | README | LICENSE

commit 32d7236630f70ec252c55a8be8dc3692860e1540
parent 0afc045f77411575bd0d5d6260a6e553bf3a4321
Author: Sheng <webmaster0115@gmail.com>
Date:   Fri, 14 Feb 2020 07:59:14 +0800

To generate more friendly error message

Diffstat:
Mwebssh/settings.py | 2+-
1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/webssh/settings.py b/webssh/settings.py @@ -193,4 +193,4 @@ def get_font_filename(font, font_dir): def check_encoding_setting(encoding): if encoding and not is_valid_encoding(encoding): - raise ValueError('Unknown character encoding.') + raise ValueError('Unknown character encoding {!r}.'.format(encoding))