[BACK]Return to ARPServlet.java CVS log [TXT] [DIR] Up to [Public] / java / classes / org / w3c / rdf / examples

Diff for /java/classes/org/w3c/rdf/examples/ARPServlet.java between versions 1.60 and 1.61

version 1.60, 2002/08/14 01:49:29 version 1.61, 2002/08/14 02:13:31
Line 997  public class ARPServlet extends HttpServ Line 997  public class ARPServlet extends HttpServ
             // respectively              // respectively
             if (rdf != null) {              if (rdf != null) {
                 String s1;                  String s1;
                 s1 = replaceString(rdf, "<",  "&lt;");                  s1 = replaceString(rdf, "&",  "&amp;");
                   s1 = replaceString(s1,  "<",  "&lt;");
                 s1 = replaceString(s1,  ">",  "&gt;");                  s1 = replaceString(s1,  ">",  "&gt;");
                 s1 = replaceString(s1,  "\"", "&quot;");                  s1 = replaceString(s1,  "\"", "&quot;");
                 out.println(s1);                  out.println(s1);
             }              }
             out.println("\"\\>");              out.println("\" />");
   
             out.println("<input type='submit' value='Submit problem report'\\>" +              out.println("<input type='submit' value='Submit problem report' />" +
                         "</form></body></html>");                          "</form></body></html>");
   
         } catch (Exception e) {          } catch (Exception e) {
Line 1718  System.out.println("SERVLET_TMP_DIR  = " Line 1719  System.out.println("SERVLET_TMP_DIR  = "
         parser.setStatementHandler(sh);          parser.setStatementHandler(sh);
         parser.setEmbedding(embedded);          parser.setEmbedding(embedded);
   
         printListing (out, sRDF, sURI != null && sURI.length() >= 1);          printListing (out, sRDF, !parseRDF);
   
         if (printTriples)          if (printTriples)
             printTripleTableHeader (out, nTriples);              printTripleTableHeader (out, nTriples);
Line 1728  System.out.println("SERVLET_TMP_DIR  = " Line 1729  System.out.println("SERVLET_TMP_DIR  = "
             parser.load(sr, xmlBase);              parser.load(sr, xmlBase);
         } catch (Exception ex) {          } catch (Exception ex) {
             out.println ("<h1>Parser Loading Error</h1>");              out.println ("<h1>Parser Loading Error</h1>");
             out.println ("Exception parsing: " + sURI + ": " + ex.toString());              out.println ("Exception parsing: " + ex.toString());
             printDocumentFooter(out, null);              printDocumentFooter(out, null);
             return;              return;
         }          }
Line 1746  System.out.println("SERVLET_TMP_DIR  = " Line 1747  System.out.println("SERVLET_TMP_DIR  = "
         }          }
   
   
         if (sURI != null && sURI.length() >= 1)          if (!parseRDF)
             printDocumentFooter(out, null);              printDocumentFooter(out, null);
         else          else
             printDocumentFooter(out, sRDF);              printDocumentFooter(out, sRDF);
Removed from v.1.60  
changed lines
  Added in v.1.61

Webmaster