From 7dd72e6b924e71d922fe3a0bd0bd955beaeffd12 Mon Sep 17 00:00:00 2001
From: Bryan <bryanpedini@bryanpedini.it>
Date: Sun, 2 Jun 2019 09:31:04 +0200
Subject: [PATCH] Moved logout function in dedicated file

---
 lib/js/logout.js   | 3 +++
 lib/js/manage.js   | 3 ---
 lib/php/manage.php | 1 +
 3 files changed, 4 insertions(+), 3 deletions(-)
 create mode 100644 lib/js/logout.js

diff --git a/lib/js/logout.js b/lib/js/logout.js
new file mode 100644
index 0000000..666256b
--- /dev/null
+++ b/lib/js/logout.js
@@ -0,0 +1,3 @@
+function logout ( ) {
+    window.location.href = script_name+"/logout";
+}
diff --git a/lib/js/manage.js b/lib/js/manage.js
index 4621450..e4f474e 100644
--- a/lib/js/manage.js
+++ b/lib/js/manage.js
@@ -39,6 +39,3 @@ function urlinsert() {
     data.append('url', url);
     xhr.send( data );
 }
-function logout ( ) {
-    window.location.href = script_name+"/logout";
-}
diff --git a/lib/php/manage.php b/lib/php/manage.php
index 4beacc2..3ab40f6 100644
--- a/lib/php/manage.php
+++ b/lib/php/manage.php
@@ -33,6 +33,7 @@
         <button onclick="urlinsert()">Insert new URL</button><br>
         <div id="responsetext"></div>
         <script src="<?=$GLOBALS['config']['installation_path']?>/lib/js/manage.js"></script>
+        <script src="<?=$GLOBALS['config']['installation_path']?>/lib/js/logout.js"></script>
         <script>var script_name = "<?=$GLOBALS['config']['installation_path']?>";</script>
     </body>
 </html>