File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change @@ -74,15 +74,17 @@ private void logMonitor() {
7474 try {
7575 long dt = (System .currentTimeMillis () - startTimeMs ) / 1000 ;
7676 int size = statuses .size ();
77- Set < Future > remove = new HashSet <>();
77+
7878 synchronized (running ) {
79+ Set <Future > remove = new HashSet <>();
7980 for (var r : running ) {
8081 if (r .isDone ()) {
8182 remove .add (r );
8283 }
8384 }
8485 running .removeAll (remove );
8586 }
87+
8688 Runtime rt = Runtime .getRuntime ();
8789 long memTotal = rt .totalMemory ();
8890 long memFree = rt .freeMemory ();
@@ -426,7 +428,7 @@ public void checkServerTrusted(
426428 }
427429 if (opts .containsKey ("ignore" )) {
428430 for (String s : opts .get ("ignore" )) {
429- if (url .getPath ().matches (s )) {
431+ if (url .toString ().matches (s )) {
430432 logger .trace ("URL " + url + " matches pattern " + s + "; ignoring" );
431433 return false ;
432434 }
You can’t perform that action at this time.
0 commit comments