Mercurial > hg > openmind
annotate src/main/java/org/mpi/openmind/scripts/DivaImportHttpOld.java @ 112:933d17f95016
new script MigratePrimeAliases to migrate is_prime_alias_X_of.
author | Robert Casties <casties@mpiwg-berlin.mpg.de> |
---|---|
date | Wed, 14 Aug 2019 20:48:02 +0200 |
parents | 742347ef8410 |
children |
rev | line source |
---|---|
107
742347ef8410
Changed DivaImportHttp for new URL and JSON format.
Robert Casties <casties@mpiwg-berlin.mpg.de>
parents:
diff
changeset
|
1 package org.mpi.openmind.scripts; |
742347ef8410
Changed DivaImportHttp for new URL and JSON format.
Robert Casties <casties@mpiwg-berlin.mpg.de>
parents:
diff
changeset
|
2 |
742347ef8410
Changed DivaImportHttp for new URL and JSON format.
Robert Casties <casties@mpiwg-berlin.mpg.de>
parents:
diff
changeset
|
3 import java.util.ArrayList; |
742347ef8410
Changed DivaImportHttp for new URL and JSON format.
Robert Casties <casties@mpiwg-berlin.mpg.de>
parents:
diff
changeset
|
4 import java.util.List; |
742347ef8410
Changed DivaImportHttp for new URL and JSON format.
Robert Casties <casties@mpiwg-berlin.mpg.de>
parents:
diff
changeset
|
5 import java.util.Map; |
742347ef8410
Changed DivaImportHttp for new URL and JSON format.
Robert Casties <casties@mpiwg-berlin.mpg.de>
parents:
diff
changeset
|
6 import java.util.regex.Matcher; |
742347ef8410
Changed DivaImportHttp for new URL and JSON format.
Robert Casties <casties@mpiwg-berlin.mpg.de>
parents:
diff
changeset
|
7 import java.util.regex.Pattern; |
742347ef8410
Changed DivaImportHttp for new URL and JSON format.
Robert Casties <casties@mpiwg-berlin.mpg.de>
parents:
diff
changeset
|
8 |
742347ef8410
Changed DivaImportHttp for new URL and JSON format.
Robert Casties <casties@mpiwg-berlin.mpg.de>
parents:
diff
changeset
|
9 import org.apache.http.HttpEntity; |
742347ef8410
Changed DivaImportHttp for new URL and JSON format.
Robert Casties <casties@mpiwg-berlin.mpg.de>
parents:
diff
changeset
|
10 import org.apache.http.HttpResponse; |
742347ef8410
Changed DivaImportHttp for new URL and JSON format.
Robert Casties <casties@mpiwg-berlin.mpg.de>
parents:
diff
changeset
|
11 import org.apache.http.client.methods.HttpGet; |
742347ef8410
Changed DivaImportHttp for new URL and JSON format.
Robert Casties <casties@mpiwg-berlin.mpg.de>
parents:
diff
changeset
|
12 import org.apache.http.impl.client.DefaultHttpClient; |
742347ef8410
Changed DivaImportHttp for new URL and JSON format.
Robert Casties <casties@mpiwg-berlin.mpg.de>
parents:
diff
changeset
|
13 import org.apache.http.util.EntityUtils; |
742347ef8410
Changed DivaImportHttp for new URL and JSON format.
Robert Casties <casties@mpiwg-berlin.mpg.de>
parents:
diff
changeset
|
14 import org.apache.log4j.ConsoleAppender; |
742347ef8410
Changed DivaImportHttp for new URL and JSON format.
Robert Casties <casties@mpiwg-berlin.mpg.de>
parents:
diff
changeset
|
15 import org.apache.log4j.Level; |
742347ef8410
Changed DivaImportHttp for new URL and JSON format.
Robert Casties <casties@mpiwg-berlin.mpg.de>
parents:
diff
changeset
|
16 import org.apache.log4j.Logger; |
742347ef8410
Changed DivaImportHttp for new URL and JSON format.
Robert Casties <casties@mpiwg-berlin.mpg.de>
parents:
diff
changeset
|
17 import org.apache.log4j.PatternLayout; |
742347ef8410
Changed DivaImportHttp for new URL and JSON format.
Robert Casties <casties@mpiwg-berlin.mpg.de>
parents:
diff
changeset
|
18 import org.mpi.openmind.cache.WrapperService; |
742347ef8410
Changed DivaImportHttp for new URL and JSON format.
Robert Casties <casties@mpiwg-berlin.mpg.de>
parents:
diff
changeset
|
19 import org.mpi.openmind.repository.bo.Attribute; |
742347ef8410
Changed DivaImportHttp for new URL and JSON format.
Robert Casties <casties@mpiwg-berlin.mpg.de>
parents:
diff
changeset
|
20 import org.mpi.openmind.repository.bo.Entity; |
742347ef8410
Changed DivaImportHttp for new URL and JSON format.
Robert Casties <casties@mpiwg-berlin.mpg.de>
parents:
diff
changeset
|
21 import org.mpi.openmind.repository.bo.Node; |
742347ef8410
Changed DivaImportHttp for new URL and JSON format.
Robert Casties <casties@mpiwg-berlin.mpg.de>
parents:
diff
changeset
|
22 import org.mpi.openmind.repository.bo.Relation; |
742347ef8410
Changed DivaImportHttp for new URL and JSON format.
Robert Casties <casties@mpiwg-berlin.mpg.de>
parents:
diff
changeset
|
23 import org.mpi.openmind.repository.services.ServiceRegistry; |
742347ef8410
Changed DivaImportHttp for new URL and JSON format.
Robert Casties <casties@mpiwg-berlin.mpg.de>
parents:
diff
changeset
|
24 import org.mpi.openmind.repository.services.utils.AttributeFilter; |
742347ef8410
Changed DivaImportHttp for new URL and JSON format.
Robert Casties <casties@mpiwg-berlin.mpg.de>
parents:
diff
changeset
|
25 |
742347ef8410
Changed DivaImportHttp for new URL and JSON format.
Robert Casties <casties@mpiwg-berlin.mpg.de>
parents:
diff
changeset
|
26 |
742347ef8410
Changed DivaImportHttp for new URL and JSON format.
Robert Casties <casties@mpiwg-berlin.mpg.de>
parents:
diff
changeset
|
27 /** |
742347ef8410
Changed DivaImportHttp for new URL and JSON format.
Robert Casties <casties@mpiwg-berlin.mpg.de>
parents:
diff
changeset
|
28 * Downloads a list of Diva manifest files from the repository over HTTP |
742347ef8410
Changed DivaImportHttp for new URL and JSON format.
Robert Casties <casties@mpiwg-berlin.mpg.de>
parents:
diff
changeset
|
29 * and checks if each manifest has a corresponding DIGITALIZATION object. |
742347ef8410
Changed DivaImportHttp for new URL and JSON format.
Robert Casties <casties@mpiwg-berlin.mpg.de>
parents:
diff
changeset
|
30 * Creates missing DIGITALIZATION objects. |
742347ef8410
Changed DivaImportHttp for new URL and JSON format.
Robert Casties <casties@mpiwg-berlin.mpg.de>
parents:
diff
changeset
|
31 * |
742347ef8410
Changed DivaImportHttp for new URL and JSON format.
Robert Casties <casties@mpiwg-berlin.mpg.de>
parents:
diff
changeset
|
32 * @author casties |
742347ef8410
Changed DivaImportHttp for new URL and JSON format.
Robert Casties <casties@mpiwg-berlin.mpg.de>
parents:
diff
changeset
|
33 * |
742347ef8410
Changed DivaImportHttp for new URL and JSON format.
Robert Casties <casties@mpiwg-berlin.mpg.de>
parents:
diff
changeset
|
34 */ |
742347ef8410
Changed DivaImportHttp for new URL and JSON format.
Robert Casties <casties@mpiwg-berlin.mpg.de>
parents:
diff
changeset
|
35 public class DivaImportHttpOld { |
742347ef8410
Changed DivaImportHttp for new URL and JSON format.
Robert Casties <casties@mpiwg-berlin.mpg.de>
parents:
diff
changeset
|
36 |
742347ef8410
Changed DivaImportHttp for new URL and JSON format.
Robert Casties <casties@mpiwg-berlin.mpg.de>
parents:
diff
changeset
|
37 static{ |
742347ef8410
Changed DivaImportHttp for new URL and JSON format.
Robert Casties <casties@mpiwg-berlin.mpg.de>
parents:
diff
changeset
|
38 ConsoleAppender console = new ConsoleAppender(); //create appender |
742347ef8410
Changed DivaImportHttp for new URL and JSON format.
Robert Casties <casties@mpiwg-berlin.mpg.de>
parents:
diff
changeset
|
39 //configure the appender |
742347ef8410
Changed DivaImportHttp for new URL and JSON format.
Robert Casties <casties@mpiwg-berlin.mpg.de>
parents:
diff
changeset
|
40 String PATTERN = "%d [%p|%c|%C{1}] %m%n"; |
742347ef8410
Changed DivaImportHttp for new URL and JSON format.
Robert Casties <casties@mpiwg-berlin.mpg.de>
parents:
diff
changeset
|
41 console.setLayout(new PatternLayout(PATTERN)); |
742347ef8410
Changed DivaImportHttp for new URL and JSON format.
Robert Casties <casties@mpiwg-berlin.mpg.de>
parents:
diff
changeset
|
42 console.setThreshold(Level.INFO); |
742347ef8410
Changed DivaImportHttp for new URL and JSON format.
Robert Casties <casties@mpiwg-berlin.mpg.de>
parents:
diff
changeset
|
43 console.activateOptions(); |
742347ef8410
Changed DivaImportHttp for new URL and JSON format.
Robert Casties <casties@mpiwg-berlin.mpg.de>
parents:
diff
changeset
|
44 //add appender to any Logger (here is root) |
742347ef8410
Changed DivaImportHttp for new URL and JSON format.
Robert Casties <casties@mpiwg-berlin.mpg.de>
parents:
diff
changeset
|
45 Logger.getRootLogger().addAppender(console); |
742347ef8410
Changed DivaImportHttp for new URL and JSON format.
Robert Casties <casties@mpiwg-berlin.mpg.de>
parents:
diff
changeset
|
46 } |
742347ef8410
Changed DivaImportHttp for new URL and JSON format.
Robert Casties <casties@mpiwg-berlin.mpg.de>
parents:
diff
changeset
|
47 |
742347ef8410
Changed DivaImportHttp for new URL and JSON format.
Robert Casties <casties@mpiwg-berlin.mpg.de>
parents:
diff
changeset
|
48 public static String DIGITALIZATION = "DIGITALIZATION"; |
742347ef8410
Changed DivaImportHttp for new URL and JSON format.
Robert Casties <casties@mpiwg-berlin.mpg.de>
parents:
diff
changeset
|
49 public static String userName = "diva-import"; |
742347ef8410
Changed DivaImportHttp for new URL and JSON format.
Robert Casties <casties@mpiwg-berlin.mpg.de>
parents:
diff
changeset
|
50 |
742347ef8410
Changed DivaImportHttp for new URL and JSON format.
Robert Casties <casties@mpiwg-berlin.mpg.de>
parents:
diff
changeset
|
51 /** URL for listing of Diva menifest files */ |
742347ef8410
Changed DivaImportHttp for new URL and JSON format.
Robert Casties <casties@mpiwg-berlin.mpg.de>
parents:
diff
changeset
|
52 public static String scanListUrl = "https://images.rasi.mcgill.ca/data/"; |
742347ef8410
Changed DivaImportHttp for new URL and JSON format.
Robert Casties <casties@mpiwg-berlin.mpg.de>
parents:
diff
changeset
|
53 |
742347ef8410
Changed DivaImportHttp for new URL and JSON format.
Robert Casties <casties@mpiwg-berlin.mpg.de>
parents:
diff
changeset
|
54 public static void execute(){ |
742347ef8410
Changed DivaImportHttp for new URL and JSON format.
Robert Casties <casties@mpiwg-berlin.mpg.de>
parents:
diff
changeset
|
55 ServiceRegistry services = new ServiceRegistry(); |
742347ef8410
Changed DivaImportHttp for new URL and JSON format.
Robert Casties <casties@mpiwg-berlin.mpg.de>
parents:
diff
changeset
|
56 // data model should exist by now |
742347ef8410
Changed DivaImportHttp for new URL and JSON format.
Robert Casties <casties@mpiwg-berlin.mpg.de>
parents:
diff
changeset
|
57 //createDataModel(services.getWrapper()); |
742347ef8410
Changed DivaImportHttp for new URL and JSON format.
Robert Casties <casties@mpiwg-berlin.mpg.de>
parents:
diff
changeset
|
58 importData(services.getWrapper()); |
742347ef8410
Changed DivaImportHttp for new URL and JSON format.
Robert Casties <casties@mpiwg-berlin.mpg.de>
parents:
diff
changeset
|
59 } |
742347ef8410
Changed DivaImportHttp for new URL and JSON format.
Robert Casties <casties@mpiwg-berlin.mpg.de>
parents:
diff
changeset
|
60 |
742347ef8410
Changed DivaImportHttp for new URL and JSON format.
Robert Casties <casties@mpiwg-berlin.mpg.de>
parents:
diff
changeset
|
61 /** |
742347ef8410
Changed DivaImportHttp for new URL and JSON format.
Robert Casties <casties@mpiwg-berlin.mpg.de>
parents:
diff
changeset
|
62 * Downloads a list of Diva manifest files from the repository and checks if |
742347ef8410
Changed DivaImportHttp for new URL and JSON format.
Robert Casties <casties@mpiwg-berlin.mpg.de>
parents:
diff
changeset
|
63 * each manifest has a corresponding DIGITALIZATION object. Creates missing |
742347ef8410
Changed DivaImportHttp for new URL and JSON format.
Robert Casties <casties@mpiwg-berlin.mpg.de>
parents:
diff
changeset
|
64 * DIGITALIZATION objects. |
742347ef8410
Changed DivaImportHttp for new URL and JSON format.
Robert Casties <casties@mpiwg-berlin.mpg.de>
parents:
diff
changeset
|
65 * |
742347ef8410
Changed DivaImportHttp for new URL and JSON format.
Robert Casties <casties@mpiwg-berlin.mpg.de>
parents:
diff
changeset
|
66 * @param omService |
742347ef8410
Changed DivaImportHttp for new URL and JSON format.
Robert Casties <casties@mpiwg-berlin.mpg.de>
parents:
diff
changeset
|
67 */ |
742347ef8410
Changed DivaImportHttp for new URL and JSON format.
Robert Casties <casties@mpiwg-berlin.mpg.de>
parents:
diff
changeset
|
68 private static void importData(WrapperService omService){ |
742347ef8410
Changed DivaImportHttp for new URL and JSON format.
Robert Casties <casties@mpiwg-berlin.mpg.de>
parents:
diff
changeset
|
69 try { |
742347ef8410
Changed DivaImportHttp for new URL and JSON format.
Robert Casties <casties@mpiwg-berlin.mpg.de>
parents:
diff
changeset
|
70 DefaultHttpClient httpclient = new DefaultHttpClient(); |
742347ef8410
Changed DivaImportHttp for new URL and JSON format.
Robert Casties <casties@mpiwg-berlin.mpg.de>
parents:
diff
changeset
|
71 HttpGet httpGet = new HttpGet(scanListUrl); |
742347ef8410
Changed DivaImportHttp for new URL and JSON format.
Robert Casties <casties@mpiwg-berlin.mpg.de>
parents:
diff
changeset
|
72 try { |
742347ef8410
Changed DivaImportHttp for new URL and JSON format.
Robert Casties <casties@mpiwg-berlin.mpg.de>
parents:
diff
changeset
|
73 System.out.println("Reading scan dirs from "+scanListUrl); |
742347ef8410
Changed DivaImportHttp for new URL and JSON format.
Robert Casties <casties@mpiwg-berlin.mpg.de>
parents:
diff
changeset
|
74 // send HTTP request and read response |
742347ef8410
Changed DivaImportHttp for new URL and JSON format.
Robert Casties <casties@mpiwg-berlin.mpg.de>
parents:
diff
changeset
|
75 HttpResponse response = httpclient.execute(httpGet); |
742347ef8410
Changed DivaImportHttp for new URL and JSON format.
Robert Casties <casties@mpiwg-berlin.mpg.de>
parents:
diff
changeset
|
76 if (response.getStatusLine().getStatusCode() > 200) { |
742347ef8410
Changed DivaImportHttp for new URL and JSON format.
Robert Casties <casties@mpiwg-berlin.mpg.de>
parents:
diff
changeset
|
77 System.out.println("ERROR reading HTTP response: "+response.getStatusLine()); |
742347ef8410
Changed DivaImportHttp for new URL and JSON format.
Robert Casties <casties@mpiwg-berlin.mpg.de>
parents:
diff
changeset
|
78 return; |
742347ef8410
Changed DivaImportHttp for new URL and JSON format.
Robert Casties <casties@mpiwg-berlin.mpg.de>
parents:
diff
changeset
|
79 } |
742347ef8410
Changed DivaImportHttp for new URL and JSON format.
Robert Casties <casties@mpiwg-berlin.mpg.de>
parents:
diff
changeset
|
80 HttpEntity htent = response.getEntity(); |
742347ef8410
Changed DivaImportHttp for new URL and JSON format.
Robert Casties <casties@mpiwg-berlin.mpg.de>
parents:
diff
changeset
|
81 String document = EntityUtils.toString(htent); |
742347ef8410
Changed DivaImportHttp for new URL and JSON format.
Robert Casties <casties@mpiwg-berlin.mpg.de>
parents:
diff
changeset
|
82 // brutal HTML parsing by regex ;-( |
742347ef8410
Changed DivaImportHttp for new URL and JSON format.
Robert Casties <casties@mpiwg-berlin.mpg.de>
parents:
diff
changeset
|
83 Pattern lp = Pattern.compile("<a href=\"([\\w_.]+)\\.json\">"); |
742347ef8410
Changed DivaImportHttp for new URL and JSON format.
Robert Casties <casties@mpiwg-berlin.mpg.de>
parents:
diff
changeset
|
84 Matcher lm = lp.matcher(document); |
742347ef8410
Changed DivaImportHttp for new URL and JSON format.
Robert Casties <casties@mpiwg-berlin.mpg.de>
parents:
diff
changeset
|
85 List<Entity> list = new ArrayList<Entity>(); |
742347ef8410
Changed DivaImportHttp for new URL and JSON format.
Robert Casties <casties@mpiwg-berlin.mpg.de>
parents:
diff
changeset
|
86 int dirs = 0; |
742347ef8410
Changed DivaImportHttp for new URL and JSON format.
Robert Casties <casties@mpiwg-berlin.mpg.de>
parents:
diff
changeset
|
87 // go through all filenames in the links |
742347ef8410
Changed DivaImportHttp for new URL and JSON format.
Robert Casties <casties@mpiwg-berlin.mpg.de>
parents:
diff
changeset
|
88 while (lm.find()) { |
742347ef8410
Changed DivaImportHttp for new URL and JSON format.
Robert Casties <casties@mpiwg-berlin.mpg.de>
parents:
diff
changeset
|
89 dirs += 1; |
742347ef8410
Changed DivaImportHttp for new URL and JSON format.
Robert Casties <casties@mpiwg-berlin.mpg.de>
parents:
diff
changeset
|
90 String dirName = lm.group(1); |
742347ef8410
Changed DivaImportHttp for new URL and JSON format.
Robert Casties <casties@mpiwg-berlin.mpg.de>
parents:
diff
changeset
|
91 System.out.println("check: "+dirName); |
742347ef8410
Changed DivaImportHttp for new URL and JSON format.
Robert Casties <casties@mpiwg-berlin.mpg.de>
parents:
diff
changeset
|
92 // create filter to search OpenMind |
742347ef8410
Changed DivaImportHttp for new URL and JSON format.
Robert Casties <casties@mpiwg-berlin.mpg.de>
parents:
diff
changeset
|
93 List<AttributeFilter> filters = new ArrayList<AttributeFilter>(); |
742347ef8410
Changed DivaImportHttp for new URL and JSON format.
Robert Casties <casties@mpiwg-berlin.mpg.de>
parents:
diff
changeset
|
94 AttributeFilter filter = new AttributeFilter("name", dirName, "DIGITALIZATION"); |
742347ef8410
Changed DivaImportHttp for new URL and JSON format.
Robert Casties <casties@mpiwg-berlin.mpg.de>
parents:
diff
changeset
|
95 filter.setExactMatch(true); |
742347ef8410
Changed DivaImportHttp for new URL and JSON format.
Robert Casties <casties@mpiwg-berlin.mpg.de>
parents:
diff
changeset
|
96 filters.add(filter); |
742347ef8410
Changed DivaImportHttp for new URL and JSON format.
Robert Casties <casties@mpiwg-berlin.mpg.de>
parents:
diff
changeset
|
97 // get matching DIGITALIZATIONs |
742347ef8410
Changed DivaImportHttp for new URL and JSON format.
Robert Casties <casties@mpiwg-berlin.mpg.de>
parents:
diff
changeset
|
98 Map<Entity, Attribute> res = omService.searchEntityByAttributeFilter(filters, -1); |
742347ef8410
Changed DivaImportHttp for new URL and JSON format.
Robert Casties <casties@mpiwg-berlin.mpg.de>
parents:
diff
changeset
|
99 if (res.size() > 0) { |
742347ef8410
Changed DivaImportHttp for new URL and JSON format.
Robert Casties <casties@mpiwg-berlin.mpg.de>
parents:
diff
changeset
|
100 //System.out.println(" exists: "+res); |
742347ef8410
Changed DivaImportHttp for new URL and JSON format.
Robert Casties <casties@mpiwg-berlin.mpg.de>
parents:
diff
changeset
|
101 } else { |
742347ef8410
Changed DivaImportHttp for new URL and JSON format.
Robert Casties <casties@mpiwg-berlin.mpg.de>
parents:
diff
changeset
|
102 // no existing DIGITALIZATION - create new Entity |
742347ef8410
Changed DivaImportHttp for new URL and JSON format.
Robert Casties <casties@mpiwg-berlin.mpg.de>
parents:
diff
changeset
|
103 System.out.println(" create: "+dirName); |
742347ef8410
Changed DivaImportHttp for new URL and JSON format.
Robert Casties <casties@mpiwg-berlin.mpg.de>
parents:
diff
changeset
|
104 Entity digi = new Entity(Node.TYPE_ABOX, DIGITALIZATION, false); |
742347ef8410
Changed DivaImportHttp for new URL and JSON format.
Robert Casties <casties@mpiwg-berlin.mpg.de>
parents:
diff
changeset
|
105 digi.setOwnValue(dirName); |
742347ef8410
Changed DivaImportHttp for new URL and JSON format.
Robert Casties <casties@mpiwg-berlin.mpg.de>
parents:
diff
changeset
|
106 digi.addAttribute(new Attribute("name", "text", dirName)); |
742347ef8410
Changed DivaImportHttp for new URL and JSON format.
Robert Casties <casties@mpiwg-berlin.mpg.de>
parents:
diff
changeset
|
107 digi.addAttribute(new Attribute("num_files", "text", "100")); |
742347ef8410
Changed DivaImportHttp for new URL and JSON format.
Robert Casties <casties@mpiwg-berlin.mpg.de>
parents:
diff
changeset
|
108 // add to list |
742347ef8410
Changed DivaImportHttp for new URL and JSON format.
Robert Casties <casties@mpiwg-berlin.mpg.de>
parents:
diff
changeset
|
109 list.add(digi); |
742347ef8410
Changed DivaImportHttp for new URL and JSON format.
Robert Casties <casties@mpiwg-berlin.mpg.de>
parents:
diff
changeset
|
110 } |
742347ef8410
Changed DivaImportHttp for new URL and JSON format.
Robert Casties <casties@mpiwg-berlin.mpg.de>
parents:
diff
changeset
|
111 } |
742347ef8410
Changed DivaImportHttp for new URL and JSON format.
Robert Casties <casties@mpiwg-berlin.mpg.de>
parents:
diff
changeset
|
112 // ensure http entity is fully consumed |
742347ef8410
Changed DivaImportHttp for new URL and JSON format.
Robert Casties <casties@mpiwg-berlin.mpg.de>
parents:
diff
changeset
|
113 EntityUtils.consume(htent); |
742347ef8410
Changed DivaImportHttp for new URL and JSON format.
Robert Casties <casties@mpiwg-berlin.mpg.de>
parents:
diff
changeset
|
114 // persist OpenMind entities |
742347ef8410
Changed DivaImportHttp for new URL and JSON format.
Robert Casties <casties@mpiwg-berlin.mpg.de>
parents:
diff
changeset
|
115 omService.saveEntityList(list, userName); |
742347ef8410
Changed DivaImportHttp for new URL and JSON format.
Robert Casties <casties@mpiwg-berlin.mpg.de>
parents:
diff
changeset
|
116 System.out.println("Read " + dirs + " directories"); |
742347ef8410
Changed DivaImportHttp for new URL and JSON format.
Robert Casties <casties@mpiwg-berlin.mpg.de>
parents:
diff
changeset
|
117 System.out.println("Created " + list.size() + " DIGITALIZATIONs"); |
742347ef8410
Changed DivaImportHttp for new URL and JSON format.
Robert Casties <casties@mpiwg-berlin.mpg.de>
parents:
diff
changeset
|
118 System.out.println("END"); |
742347ef8410
Changed DivaImportHttp for new URL and JSON format.
Robert Casties <casties@mpiwg-berlin.mpg.de>
parents:
diff
changeset
|
119 |
742347ef8410
Changed DivaImportHttp for new URL and JSON format.
Robert Casties <casties@mpiwg-berlin.mpg.de>
parents:
diff
changeset
|
120 } finally { |
742347ef8410
Changed DivaImportHttp for new URL and JSON format.
Robert Casties <casties@mpiwg-berlin.mpg.de>
parents:
diff
changeset
|
121 httpGet.releaseConnection(); |
742347ef8410
Changed DivaImportHttp for new URL and JSON format.
Robert Casties <casties@mpiwg-berlin.mpg.de>
parents:
diff
changeset
|
122 } |
742347ef8410
Changed DivaImportHttp for new URL and JSON format.
Robert Casties <casties@mpiwg-berlin.mpg.de>
parents:
diff
changeset
|
123 |
742347ef8410
Changed DivaImportHttp for new URL and JSON format.
Robert Casties <casties@mpiwg-berlin.mpg.de>
parents:
diff
changeset
|
124 } catch (Exception e) { |
742347ef8410
Changed DivaImportHttp for new URL and JSON format.
Robert Casties <casties@mpiwg-berlin.mpg.de>
parents:
diff
changeset
|
125 e.printStackTrace(); |
742347ef8410
Changed DivaImportHttp for new URL and JSON format.
Robert Casties <casties@mpiwg-berlin.mpg.de>
parents:
diff
changeset
|
126 } |
742347ef8410
Changed DivaImportHttp for new URL and JSON format.
Robert Casties <casties@mpiwg-berlin.mpg.de>
parents:
diff
changeset
|
127 } |
742347ef8410
Changed DivaImportHttp for new URL and JSON format.
Robert Casties <casties@mpiwg-berlin.mpg.de>
parents:
diff
changeset
|
128 |
742347ef8410
Changed DivaImportHttp for new URL and JSON format.
Robert Casties <casties@mpiwg-berlin.mpg.de>
parents:
diff
changeset
|
129 |
742347ef8410
Changed DivaImportHttp for new URL and JSON format.
Robert Casties <casties@mpiwg-berlin.mpg.de>
parents:
diff
changeset
|
130 public static void main(String[] args){ |
742347ef8410
Changed DivaImportHttp for new URL and JSON format.
Robert Casties <casties@mpiwg-berlin.mpg.de>
parents:
diff
changeset
|
131 execute(); |
742347ef8410
Changed DivaImportHttp for new URL and JSON format.
Robert Casties <casties@mpiwg-berlin.mpg.de>
parents:
diff
changeset
|
132 System.exit(0); |
742347ef8410
Changed DivaImportHttp for new URL and JSON format.
Robert Casties <casties@mpiwg-berlin.mpg.de>
parents:
diff
changeset
|
133 } |
742347ef8410
Changed DivaImportHttp for new URL and JSON format.
Robert Casties <casties@mpiwg-berlin.mpg.de>
parents:
diff
changeset
|
134 } |