From ea34091a8302bb906d9c370548db2a775a495fe4 Mon Sep 17 00:00:00 2001
From: jesopo <github@lolnerd.net>
Date: Fri, 13 Sep 2019 15:49:32 +0100
Subject: [PATCH] default REST API port to 5001, not 5000

---
 modules/rest_api.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/modules/rest_api.py b/modules/rest_api.py
index 0d3b408d..11fad40b 100644
--- a/modules/rest_api.py
+++ b/modules/rest_api.py
@@ -78,7 +78,7 @@ class Handler(http.server.BaseHTTPRequestHandler):
         if "Host" in headers:
             host, _, port = headers["Host"].partition(":")
             if not port:
-                port = _bot.config.get("api-port", "5000")
+                port = _bot.config.get("api-port", "5001")
 
             get_params_str = ""
             if get_params: