lowercase

domainManager/src/code/Domain.java

@@ -110,7 +110,7 @@ public class Domain {
 			System.out.println("domain running on " + Helper.getSelfURL());
 
 		} catch (Exception e) {
-			System.out.println("Failed to create HTTPS server on port " + port + Helper.getSelfURL());
+			System.out.println("Failed to create HTTPS server on " + Helper.getSelfURL());
 			e.printStackTrace();
 		}
 
@@ -127,7 +127,7 @@ public class Domain {
 		}
 		for (int i = 0; i < s1.length; i++) {
 			String remZip = s1[i].substring(0, s1[i].length() - 4);
-			if(remZip.contains("-debian9-BB")){
+			if(remZip.toLowerCase().contains("-debian9-BB")){
 				String[] curr = remZip.split("-");
 				String a = curr[0];
 				String b = curr[1];
@@ -138,7 +138,7 @@ public class Domain {
 					e.printStackTrace();
 				}
 			}
-			if(remZip.contains("_Arduino1wifi")){
+			if(remZip.toLowerCase().contains("_arduino1wifi")){
 				String[] curr = remZip.split("_");
 				String a = curr[0];
 				// vogliamo solo Arduino1