move away from using git server as a CDN due to the maintaining difficulties
This commit is contained in:
parent
37f8e9dbf6
commit
a9e3c765c6
|
@ -99,8 +99,8 @@ public class Main {
|
|||
if (!help_file.exists()) {
|
||||
System.err.println("[WARN] Help file is missing.");
|
||||
if (allow_net) {
|
||||
System.err.println("[INFO] Trying to recover it from the git server");
|
||||
fetchResource("http://lab2.kpi.dev:3000/dymik739/oop-labs-collection/raw/branch/lab2-dev/labs/2/src/help.txt", "src/help.txt");
|
||||
System.err.println("[INFO] Trying to recover it from the CDN server");
|
||||
fetchResource("http://lab2.kpi.dev:16554/help.txt", "src/help.txt");
|
||||
} else {
|
||||
System.err.println("[INFO] Networking is disabled, not recovering");
|
||||
System.exit(1);
|
||||
|
|
Loading…
Reference in New Issue