# HG changeset patch
# User root@ismi.rz-berlin.mpg.de
# Date 1433239183 -7200
# Node ID 0ae6145e7c801424f028f015a3180ee67eff7171
# Parent  667b6597a6762c898d44acd8dca5cf30630a3d7e
update urls.

diff -r 667b6597a676 -r 0ae6145e7c80 importFromOpenMind/importer/filterISMI.py
--- a/importFromOpenMind/importer/filterISMI.py	Tue Jun 02 11:12:49 2015 +0200
+++ b/importFromOpenMind/importer/filterISMI.py	Tue Jun 02 11:59:43 2015 +0200
@@ -69,7 +69,7 @@
         ids,rels = self.getEntIdsMentioned(kind=kind,filterOC=filterOC)
         
         
-        baseUrl="http://openmind-ismi-dev.mpiwg-berlin.mpg.de/om4-ismi/jsonInterface?include_content=true&include_romanization=true&method=get_ents"
+        baseUrl="https://ismi.mpiwg-berlin.mpg.de/om4-ismi/jsonInterface?include_content=true&include_romanization=true&method=get_ents"
         
         lenId = len(ids)
         
@@ -117,7 +117,7 @@
 # """
 #    
 
-    url = """http://openmind-ismi-dev.mpiwg-berlin.mpg.de/om4-ismi/jsonInterface?method=get_public_codices"""
+    url = """https://ismi.mpiwg-berlin.mpg.de/om4-ismi/jsonInterface?method=get_public_codices"""
    
    
     imp.loadJSON(url)