private void checkFilename(String filename, int len) throws BadHttpRequest { for (int i = 0; i < len; ++i) { char c = filename.charAt(i); if (!Character.isJavaIdentifierPart(c) && c != '.' && c != '/') throw new BadHttpRequest(); } if (filename.indexOf("..") >= 0) throw new BadHttpRequest(); }
private void replyError(OutputStream out, BadHttpRequest e) throws IOException { logging2("bad request: " + e.toString()); out.write("HTTP/1.0 400 Bad Request".getBytes()); out.write(endofline); out.write(endofline); out.write("<H1>Bad Request</H1>".getBytes()); } }
private void checkFilename(String filename, int len) throws BadHttpRequest { for (int i = 0; i < len; ++i) { char c = filename.charAt(i); if (!Character.isJavaIdentifierPart(c) && c != '.' && c != '/') throw new BadHttpRequest(); } if (filename.indexOf("..") >= 0) throw new BadHttpRequest(); }
private void replyError(OutputStream out, BadHttpRequest e) throws IOException { logging2("bad request: " + e.toString()); out.write("HTTP/1.0 400 Bad Request".getBytes()); out.write(endofline); out.write(endofline); out.write("<H1>Bad Request</H1>".getBytes()); } }
filename = urlName = cmd.substring(5, cmd.indexOf(' ', 5)); else throw new BadHttpRequest(); throw new BadHttpRequest();
private void replyError(OutputStream out, BadHttpRequest e) throws IOException { logging2("bad request: " + e.toString()); out.write("HTTP/1.0 400 Bad Request".getBytes()); out.write(endofline); out.write(endofline); out.write("<H1>Bad Request</H1>".getBytes()); } }
private boolean letUsersSendClassfile(OutputStream out, String filename, int length) throws IOException, BadHttpRequest { if (classPool == null) return false; byte[] classfile; String classname = filename.substring(0, length - 6).replace('/', '.'); try { if (translator != null) translator.onLoad(classPool, classname); CtClass c = classPool.get(classname); classfile = c.toBytecode(); if (debugDir != null) c.writeFile(debugDir); } catch (Exception e) { throw new BadHttpRequest(e); } sendHeader(out, classfile.length, typeClass); out.write(classfile); return true; }
private void replyError(OutputStream out, BadHttpRequest e) throws IOException { logging2("bad request: " + e.toString()); out.write("HTTP/1.0 400 Bad Request".getBytes()); out.write(endofline); out.write(endofline); out.write("<H1>Bad Request</H1>".getBytes()); } }
filename = urlName = cmd.substring(5, cmd.indexOf(' ', 5)); else throw new BadHttpRequest(); throw new BadHttpRequest();
private void replyError(OutputStream out, BadHttpRequest e) throws IOException { logging2("bad request: " + e.toString()); out.write("HTTP/1.0 400 Bad Request".getBytes()); out.write(endofline); out.write(endofline); out.write("<H1>Bad Request</H1>".getBytes()); } }
private boolean letUsersSendClassfile(OutputStream out, String filename, int length) throws IOException, BadHttpRequest { if (classPool == null) return false; byte[] classfile; String classname = filename.substring(0, length - 6).replace('/', '.'); try { if (translator != null) translator.onLoad(classPool, classname); CtClass c = classPool.get(classname); classfile = c.toBytecode(); if (debugDir != null) c.writeFile(debugDir); } catch (Exception e) { throw new BadHttpRequest(e); } sendHeader(out, classfile.length, typeClass); out.write(classfile); return true; }
private void replyError(OutputStream out, BadHttpRequest e) throws IOException { logging2("bad request: " + e.toString()); out.write("HTTP/1.0 400 Bad Request".getBytes()); out.write(endofline); out.write(endofline); out.write("<H1>Bad Request</H1>".getBytes()); } }
private void checkFilename(String filename, int len) throws BadHttpRequest { for (int i = 0; i < len; ++i) { char c = filename.charAt(i); if (!Character.isJavaIdentifierPart(c) && c != '.' && c != '/') throw new BadHttpRequest(); } if (filename.indexOf("..") >= 0) throw new BadHttpRequest(); }
private void replyError(OutputStream out, BadHttpRequest e) throws IOException { logging2("bad request: " + e.toString()); out.write("HTTP/1.0 400 Bad Request".getBytes()); out.write(endofline); out.write(endofline); out.write("<H1>Bad Request</H1>".getBytes()); } }
private void checkFilename(String filename, int len) throws BadHttpRequest { for (int i = 0; i < len; ++i) { char c = filename.charAt(i); if (!Character.isJavaIdentifierPart(c) && c != '.' && c != '/') throw new BadHttpRequest(); } if (filename.indexOf("..") >= 0) throw new BadHttpRequest(); }
private void checkFilename(String filename, int len) throws BadHttpRequest { for (int i = 0; i < len; ++i) { char c = filename.charAt(i); if (!Character.isJavaIdentifierPart(c) && c != '.' && c != '/') throw new BadHttpRequest(); } if (filename.indexOf("..") >= 0) throw new BadHttpRequest(); }
private void checkFilename(String filename, int len) throws BadHttpRequest { for (int i = 0; i < len; ++i) { char c = filename.charAt(i); if (!Character.isJavaIdentifierPart(c) && c != '.' && c != '/') throw new BadHttpRequest(); } if (filename.indexOf("..") >= 0) throw new BadHttpRequest(); }
private void checkFilename(String filename, int len) throws BadHttpRequest { for (int i = 0; i < len; ++i) { char c = filename.charAt(i); if (!Character.isJavaIdentifierPart(c) && c != '.' && c != '/') throw new BadHttpRequest(); } if (filename.indexOf("..") >= 0) throw new BadHttpRequest(); }
filename = urlName = cmd.substring(5, cmd.indexOf(' ', 5)); else throw new BadHttpRequest(); throw new BadHttpRequest();
filename = urlName = cmd.substring(5, cmd.indexOf(' ', 5)); else throw new BadHttpRequest(); throw new BadHttpRequest();