rem: function options() { 
add: function options(type) { 
context: function options() {  cocoon.response.setHeader("DAV","1");  var options = "OPTIONS,GET,PUT,LOCK,PROPFIND,DELETE";//  var options = "OPTIONS,GET,HEAD,POST,DELETE,TRACE,PUT,LOCK" //              + ",MKCOL,PROPFIND,PROPPATCH,COPY,MOVE";  cocoon.response.setHeader("Allow",options);  //interoperability with Windows 2000  var w2kDAVDiscoverAgent = "Microsoft Data Access Internet"                          + " Publishing Provider Protocol Discovery";  if (cocoon.request.getHeader("User-Agent") == w2kDAVDiscoverAgent) {      cocoon.response.setHeader("MS-Author-Via","DAV");  }  sendStatus(200);}
meta: 791	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/791/49863727a7ad4a093c1368d1ec485b53b956a824/webdav.js/buggy/src/webapp/lenya/pubs/default/lenya/usecases/webdav/webdav.js