[Aimmath-commit] AIM/WEB-INF/java/tth TtH.java,1.3,1.4
Brought to you by:
gustav_delius,
npstrick
|
From: <gus...@us...> - 2003-09-01 20:22:32
|
Update of /cvsroot/aimmath/AIM/WEB-INF/java/tth
In directory sc8-pr-cvs1:/tmp/cvs-serv25371/WEB-INF/java/tth
Modified Files:
TtH.java
Log Message:
put in some /> to make more xml compliant
Index: TtH.java
===================================================================
RCS file: /cvsroot/aimmath/AIM/WEB-INF/java/tth/TtH.java,v
retrieving revision 1.3
retrieving revision 1.4
diff -C2 -d -r1.3 -r1.4
*** TtH.java 30 Aug 2003 22:40:55 -0000 1.3
--- TtH.java 1 Sep 2003 20:22:23 -0000 1.4
***************
*** 50,56 ****
"<p>\n" +
"Could not start TtH. Command used was '" + program + " -h'\n" +
! "<br>\n" +
"Exception message: " + e.getMessage() + "\n" +
! "<br>\n" +
"</p>\n";
return(msg);
--- 50,56 ----
"<p>\n" +
"Could not start TtH. Command used was '" + program + " -h'\n" +
! "<br />\n" +
"Exception message: " + e.getMessage() + "\n" +
! "<br />\n" +
"</p>\n";
return(msg);
***************
*** 166,170 ****
if (i == -1) {
! return("<br><font color='red'>TtH error</font>\n" +
"<font color='orange'>\n<pre>\n" + s + "\n</pre>\n</font>\n");
}
--- 166,170 ----
if (i == -1) {
! return("<br /><font color='red'>TtH error</font>\n" +
"<font color='orange'>\n<pre>\n" + s + "\n</pre>\n</font>\n");
}
***************
*** 174,178 ****
if (j == -1) {
! return("<br><font color='red'>TtH error</font>\n" +
"<font color='orange'>\n<pre>\n" + s + "\n</pre>\n</font>\n");
}
--- 174,178 ----
if (j == -1) {
! return("<br /><font color='red'>TtH error</font>\n" +
"<font color='orange'>\n<pre>\n" + s + "\n</pre>\n</font>\n");
}
***************
*** 208,214 ****
m = Math.min(input.length(),k+100);
html +=
! "<font color='red'>Unmatched <latex> tag:<br>" +
input.substring(k,m) +
! "</font><br>\n</html>\n";
i = input.length();
} else {
--- 208,214 ----
m = Math.min(input.length(),k+100);
html +=
! "<font color='red'>Unmatched <latex> tag:<br />" +
input.substring(k,m) +
! "</font><br />\n</html>\n";
i = input.length();
} else {
|