[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.8 and 1.9

version 1.8, 2001/08/16 17:49:42 version 1.9, 2001/08/16 19:19:13
Line 526  public class ARPServlet extends HttpServ Line 526  public class ARPServlet extends HttpServ
             String dotFileName = dotFile.getAbsolutePath();              String dotFileName = dotFile.getAbsolutePath();
             String outputFileName = outputFile.getAbsolutePath();              String outputFileName = outputFile.getAbsolutePath();
   
 System.err.println("BEFORE genGraphFile");  
             if (!generateGraphFile(dotFileName, outputFileName, graphFormat)) {              if (!generateGraphFile(dotFileName, outputFileName, graphFormat)) {
                 out.println("An attempt to create a graph failed.");                  out.println("An attempt to create a graph failed.");
                 dotFile.delete();                  dotFile.delete();
                 outputFile.delete();                  outputFile.delete();
                 return;                  return;
             }              }
 System.err.println("AFTER genGraphFile");  
   
             // Handle the DOT file              // Handle the DOT file
             if (saveDOTFile) {              if (saveDOTFile) {
Line 726  System.err.println("AFTER genGraphFile") Line 724  System.err.println("AFTER genGraphFile")
                 "<h3>Feedback</h3>" +                  "<h3>Feedback</h3>" +
                 "<p>If you suspect the parser is in error, please enter an explanation below and then press the <b>Submit problem report</b> button, to mail the report (and listing) to <i>" + MAIL_TO + "</i></p>" +                  "<p>If you suspect the parser is in error, please enter an explanation below and then press the <b>Submit problem report</b> button, to mail the report (and listing) to <i>" + MAIL_TO + "</i></p>" +
                 "<form enctype='text/plain' method='post' action='mailto:" + MAIL_TO + "'>" +                  "<form enctype='text/plain' method='post' action='mailto:" + MAIL_TO + "'>" +
                 "<textarea cols='60' rows='4' name='report'></textarea>" +                  "<textarea cols='60' rows='4' name='report'></textarea>";
                 "<p><input type='hidden' name='RDF' value=\"&lt;?xml version=&quot;1.0&quot;>";  
             out.println(s);              out.println(s);
   
               out.println("<input type='hidden' name='RDF' value=\"&lt;?xml version=&quot;1.0&quot;&gt;");
   
             // The listing is being passed as a parameter so the '<'               // The listing is being passed as a parameter so the '<' 
             // and '"' characters must be replaced with &lt; and &quot,               // and '"' characters must be replaced with &lt; and &quot, 
             // respectively              // respectively
             if (rdf != null) {              if (rdf != null) {
                 String s1 = replaceString(rdf, "<", "&lt;");                  String s1;
                 String s2 = replaceString(s1,  "\"", "&quot;");                  s1 = replaceString(rdf, "<",  "&lt;");
                 out.println(s2 + "\">");                  s1 = replaceString(s1,  ">",  "&lt;");
                   s1 = replaceString(s1,  "\"", "&quot;");
                   out.println(s1);
             }              }
               out.println("\"\\>");
   
             out.println("<input type='submit' value='Submit problem report'\\>" +              out.println("<input type='submit' value='Submit problem report'\\>" +
                         "</form><hr/></body></html>");                          "</form></body></html>");
   
         } catch (Exception e) {          } catch (Exception e) {
             System.err.println("Exception (printDocumentFooter): " + e.getMessage());              System.err.println("Exception (printDocumentFooter): " + e.getMessage());
Line 1398  System.err.println("AFTER genGraphFile") Line 1400  System.err.println("AFTER genGraphFile")
   
         res.setContentType ("text/html");          res.setContentType ("text/html");
   
         printDocumentFooter(out, sRDF);          if (sURI != null && sURI.length() >= 1)
               printDocumentFooter(out, null);
           else
               printDocumentFooter(out, sRDF);
     }      }
 }  }
Removed from v.1.8  
changed lines
  Added in v.1.9

Webmaster