From 9fbbf5366142372c8484085f74f6125bf7ca45e6 Mon Sep 17 00:00:00 2001
From: lotte <lotte_hofstede@hotmail.com>
Date: Thu, 23 Aug 2018 16:00:46 +0200
Subject: [PATCH] undo REST server config

---
 config/environment.default.js | 16 +++++-----------
 1 file changed, 5 insertions(+), 11 deletions(-)

diff --git a/config/environment.default.js b/config/environment.default.js
index 4ff088c0db..22a70f3513 100644
--- a/config/environment.default.js
+++ b/config/environment.default.js
@@ -8,18 +8,12 @@ module.exports = {
     nameSpace: '/'
   },
   // The REST API server settings.
-  // rest: {
-  //   ssl: true,
-  //   host: 'dspace7.4science.it',
-  //   port: 443,
-  //   // NOTE: Space is capitalized because 'namespace' is a reserved string in TypeScript
-  //   nameSpace: '/dspace-spring-rest/api'
-  // },
     rest: {
-        ssl: false,
-        host: 'dspace7-internal.atmire.com',
-        port: 80,
-        nameSpace: '/rest/api'
+    ssl: true,
+    host: 'dspace7.4science.it',
+    port: 443,
+    // NOTE: Space is capitalized because 'namespace' is a reserved string in TypeScript
+    nameSpace: '/dspace-spring-rest/api'
     },
   // Caching settings
   cache: {