cancel all pending jobs added

[mir.git] / source / mir / util / HTMLRoutines.java

diff --git a/source/mir/util/HTMLRoutines.java b/source/mir/util/HTMLRoutines.java
index 4ed503b..53a4cda 100755 (executable)
--- a/source/mir/util/HTMLRoutines.java
+++ b/source/mir/util/HTMLRoutines.java
@@ -56,7 +56,7 @@ public class HTMLRoutines {
     }
   }
 
-  public static String encodeHTML(String aText) {
+  public static String encodeHTML(String aText) throws UtilExc {
     final char[] CHARACTERS_TO_ESCAPE = { '&', '<', '>', '"' };
     final String[] ESCAPE_CODES = { "&amp;", "&lt;", "&gt;", "&quot;" };