# HG changeset patch
# User Robert Casties <casties@mpiwg-berlin.mpg.de>
# Date 1544032103 -3600
# Node ID 76d2dda8d4de83ce28dc98a9fa5cde0626faa988
# Parent  3fdd5e191d30dd6d60d259871bcf42b1e2b5e87b
update URLs for changed server names.

diff -r 3fdd5e191d30 -r 76d2dda8d4de src/main/webapp/imageServer/resources/js/diva4ismi.js
--- a/src/main/webapp/imageServer/resources/js/diva4ismi.js	Fri Nov 09 15:49:12 2018 +0100
+++ b/src/main/webapp/imageServer/resources/js/diva4ismi.js	Wed Dec 05 18:48:23 2018 +0100
@@ -1,9 +1,10 @@
 var divaGlobal = {
 		debugModus : false,
-		rest_url : "https://ismi.mpiwg-berlin.mpg.de/om4-ismi",
+        rest_url : "https://ismi-db.mpiwg-berlin.mpg.de/om4-ismi",
+        //rest_url : "http://localhost:18080/ismi-richfaces",
 		iipServerURL: "https://images.rasi.mcgill.ca/fcgi-bin/iipsrv.fcgi",
-		drupal_url: "https://ismi.mpiwg-berlin.mpg.de/drupal-ismi",
-		entity_url: "https://ismi.mpiwg-berlin.mpg.de/om4-ismi/browse/entityDetails.xhtml?eid="
+		drupal_url: "https://ismi-db.mpiwg-berlin.mpg.de/drupal-ismi",
+		entity_url: "https://ismi-db.mpiwg-berlin.mpg.de/om4-ismi/browse/entityDetails.xhtml?eid="
 }
 
 function showTitleDetailsBig(titleId){
diff -r 3fdd5e191d30 -r 76d2dda8d4de src/main/webapp/resources/components/ismi/refWidget.xhtml
--- a/src/main/webapp/resources/components/ismi/refWidget.xhtml	Fri Nov 09 15:49:12 2018 +0100
+++ b/src/main/webapp/resources/components/ismi/refWidget.xhtml	Wed Dec 05 18:48:23 2018 +0100
@@ -114,7 +114,7 @@
 
 						<h:panelGrid columns="2">
 						    <h:outputLabel value="ISMI Bibliography" />
-						    <h:outputLink value="https://ismi.mpiwg-berlin.mpg.de/drupal-ismi/search/biblio"
+						    <h:outputLink value="https://ismi-db.mpiwg-berlin.mpg.de/drupal-ismi/search/biblio"
                                     target="_blank">
                                     Search Bibliography
                             </h:outputLink>