From 046cb336a51a2dffafc97dc61ed5718d62d9c9fb Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Stephan=20B=C3=B6sch-Plepelits?= <skunk@cg.tuwien.ac.at>
Date: Fri, 17 May 2019 12:12:34 +0200
Subject: [PATCH] Use a mysql database for session handling

---
 .gitmodules                  | 3 +++
 conf.php-dist                | 6 ++++++
 lib/modulekit/mysql-sessions | 1 +
 3 files changed, 10 insertions(+)
 create mode 160000 lib/modulekit/mysql-sessions

diff --git a/.gitmodules b/.gitmodules
index 2f3071d3..41635c37 100644
--- a/.gitmodules
+++ b/.gitmodules
@@ -15,3 +15,6 @@
 [submodule "lib/modulekit/ajax"]
 	path = lib/modulekit/ajax
 	url = https://github.com/plepe/modulekit-ajax.git
+[submodule "lib/modulekit/mysql-sessions"]
+	path = lib/modulekit/mysql-sessions
+	url = https://github.com/plepe/PHP-MySQL-Sessions.git
diff --git a/conf.php-dist b/conf.php-dist
index 57d15bbd..ca2f31f9 100644
--- a/conf.php-dist
+++ b/conf.php-dist
@@ -107,3 +107,9 @@ $languages = array(
   "sr", // Serbian
   "uk", // Ukrainian
 );
+
+// Uncomment the following lines to use a MYSQL database for session handling.
+// Create database table 'sessions' as described in
+// https://github.com/plepe/PHP-MySQL-Sessions/blob/master/README.md
+#include "lib/modulekit/mysql-sessions/mysql.sessions.php";
+#new Session(new PDO('mysql:dbname=DB', 'USER', 'PASSWORD'));
diff --git a/lib/modulekit/mysql-sessions b/lib/modulekit/mysql-sessions
new file mode 160000
index 00000000..3aa1bc06
--- /dev/null
+++ b/lib/modulekit/mysql-sessions
@@ -0,0 +1 @@
+Subproject commit 3aa1bc06badb51c351ac6d041052a603d0cdd554