+> TODO remove once raw.githubusercontent.com is fixed

This commit is contained in:
Reinhard Pointner 2014-04-18 18:04:24 +00:00
parent ad0e0e2802
commit 2ba959e2b5
1 changed files with 5 additions and 0 deletions

View File

@ -68,6 +68,11 @@ import org.w3c.dom.NodeList;
public class Main {
static {
// TODO remove once raw.githubusercontent.com is fixed
System.setProperty("jsse.enableSNIExtension", "false");
}
public static void main(String[] argumentArray) {
try {
// parse arguments