@@ -85,8 +85,8 @@ public class ScopInstallation implements LocalScopDatabase {
8585 public static final String comFileName = "dir.com.scop.txt_" ;
8686
8787 // Download locations
88- public static final String SCOP_DOWNLOAD = "http ://scop.berkeley.edu/downloads/parse/" ;
89- public static final String SCOP_DOWNLOAD_ALTERNATE = "http ://scop.berkeley.edu/downloads/parse/" ;
88+ public static final String SCOP_DOWNLOAD = "https ://scop.berkeley.edu/downloads/parse/" ;
89+ public static final String SCOP_DOWNLOAD_ALTERNATE = "https ://scop.berkeley.edu/downloads/parse/" ;
9090
9191 //public static final String NEWLINE = System.getProperty("line.separator");
9292 public static final String FILESPLIT = System .getProperty ("file.separator" );
@@ -913,10 +913,19 @@ private void initScopURLs() {
913913 // first, try default scop
914914 ScopMirror primary = new ScopMirror ();
915915 // If unreachable, try alternate Berkeley location
916- ScopMirror alt = new ScopMirror (
917- SCOP_DOWNLOAD_ALTERNATE ,
918- "dir.cla.scop.%s.txt" ,"dir.des.scop.%s.txt" ,
919- "dir.hie.scop.%s.txt" ,"dir.com.scop.%s.txt" );
916+ ScopMirror alt ;
917+ if (scopVersion .startsWith ("2." )) {
918+ alt = new ScopMirror (
919+ SCOP_DOWNLOAD_ALTERNATE ,
920+ "dir.cla.scope.%s.txt" ,"dir.des.scope.%s.txt" ,
921+ "dir.hie.scope.%s.txt" ,"dir.com.scope.%s.txt" );
922+ }
923+ else {
924+ alt = new ScopMirror (
925+ SCOP_DOWNLOAD_ALTERNATE ,
926+ "dir.cla.scop.%s.txt" ,"dir.des.scop.%s.txt" ,
927+ "dir.hie.scop.%s.txt" ,"dir.com.scop.%s.txt" );
928+ }
920929 mirrors .add (primary );
921930 mirrors .add (alt );
922931 }
0 commit comments