anchor.diff:  }
   
   function send_json(){
  -    data = "{%22dirname%22:%22../../../../../../../../../../../../../../../var/log/%22}"
  +    data = "{\"dirname\":\"../../../../../../../../../../../../../../../var/log/\"}"
       var xmlhttp=getXMLHttpRequest();
       xmlhttp.onreadystatechange=function(){
           if (xmlhttp.readyState==4 && xmlhttp.status==200){
  
positive.code: String normal_querystring = "?dirname=reports";
  String linux_querystring = "?dirname=../../../../../../../../../../../../../../../var/log/";
  String windows_querystring = "?dirname=../../../";
  String linux_json_curl = "curl -d \"{%22dirname%22:%22../../../../../../../../../../../../../../../var/log/%22}\" -H \"Content-Type: application/json\" '" + request.getRequestURL() + "'";
  
  if (dirname != null) {
      try {
  
negative.code:         try {
              request.getInputStream().read(buf);
              postdata = new String(buf);
              if (postdata != null) {
                  net.sf.json.JSONObject json = net.sf.json.JSONObject.fromObject(postdata);
                  if (json != null) {
  