fatalError: reference sign_excl.gif, not png

diff --git a/functions.js b/functions.js
index 276911598f7ab423cb2578a863d3a5ed108e0dc0..d8f7a235c8eee12700c9634a62943bb5ecc7a74b 100644 (file)
--- a/functions.js
+++ b/functions.js
@@ -1493,7 +1493,7 @@ function fatalError(code, message) {
        
                        if (message == "") message = "Unknown error";
 
-                       fc.innerHTML = "<img src='images/sign_excl.png'> " + message + " (Code " + code + ")";
+                       fc.innerHTML = "<img src='images/sign_excl.gif'> " + message + " (Code " + code + ")";
        
                        fe.style.display = "block";
                }