diff --git a/js/functions.js b/js/functions.js index e29a834c9..88d8e331e 100755 --- a/js/functions.js +++ b/js/functions.js @@ -66,7 +66,7 @@ function exception_error(location, e, ext_info) { "
" + msg + "