From 5cd090f56943a0d503b1f4c90ac7a8410df62153 Mon Sep 17 00:00:00 2001
From: Patrizio Bekerle <patrizio.bekerle@tugraz.at>
Date: Mon, 17 Aug 2020 10:09:13 +0200
Subject: [PATCH] Change dev server port to 8001 (#27)

---
 demo/README.md        | 2 +-
 demo/rollup.config.js | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/demo/README.md b/demo/README.md
index ff90a370..d8f47da0 100644
--- a/demo/README.md
+++ b/demo/README.md
@@ -12,7 +12,7 @@ yarn install
 yarn run watch-local
 ```
 
-You can then open <http://127.0.0.1:8085/>.
+You can then open <http://127.0.0.1:8001/>.
 
 ## Adding demo pages
 
diff --git a/demo/rollup.config.js b/demo/rollup.config.js
index a7b6d248..6577dbfe 100644
--- a/demo/rollup.config.js
+++ b/demo/rollup.config.js
@@ -288,7 +288,7 @@ Dependencies:
         watch ? serve({
           contentBase: '.',
           host: '127.0.0.1',
-          port: 8085,
+          port: 8001,
           historyApiFallback: basePath + pkg.name + '.html',
           https: USE_HTTPS ? generateTLSConfig() : false,
           headers: {
-- 
GitLab