version 1.32, 2002/08/06 02:25:06
|
version 1.33, 2002/08/06 02:29:37
|
Line 153 package org.w3c.rdf.examples;
|
Line 153 package org.w3c.rdf.examples;
|
import java.io.*; |
import java.io.*; |
import java.net.MalformedURLException; |
import java.net.MalformedURLException; |
import java.net.URL; |
import java.net.URL; |
|
import java.net.URLConnection; |
import java.util.StringTokenizer; |
import java.util.StringTokenizer; |
import java.util.Enumeration; |
import java.util.Enumeration; |
import java.util.Hashtable; |
import java.util.Hashtable; |
Line 311 public class ARPServlet extends HttpServ
|
Line 312 public class ARPServlet extends HttpServ
|
con.addRequestProperty("Accept", "application/rdf+xml"); |
con.addRequestProperty("Accept", "application/rdf+xml"); |
con.connect(); |
con.connect(); |
String contentT = con.getContentType(); |
String contentT = con.getContentType(); |
String charset = NULL; |
String charset = null; |
if (contentT != NULL) { |
if (contentT != null) { |
ContentType contentType = new ContentType(con.getContentType()); |
ContentType contentType = new ContentType(con.getContentType()); |
charset = contentType.getParameter("charset"); |
charset = contentType.getParameter("charset"); |
} |
} |