import java.net.URL;
import java.util.zip.GZIPInputStream;
+import javajs.util.Rdr;
+
/**
* implements a random access wrapper around a particular datasource, for
* passing to identifyFile and AlignFile objects.
}
}
}
+ else if (sourceType == DataSourceType.LOCALURL)
+ {
+ String data = null;
+ /**
+ * BH 2018 hack for no support for access-origin
+ *
+ * @j2sNative
+ *
+ * data = $.ajax({url:fileStr, async:false}).responseText;
+ *
+ */
+
+ System.out.println(data);
+ dataIn = Rdr.getBR(data);
+ dataName = fileStr;
+
+ }
else if (sourceType == DataSourceType.URL)
{
try