diff -r 37f1a08315f3 -r 282e7d2bb28a www/config.php.dist
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/www/config.php.dist	Tue Aug 07 16:42:49 2018 +0200
@@ -0,0 +1,31 @@
+<?php
+
+/*
+ * Check for development server
+ */
+if ( strcmp($_SERVER['SERVER_NAME'], "seaport.mbse.ym") == 0)  {
+
+	define ('DBASE_NAME', 'bms_dev');
+	define ('DBASE_HOST', 'lx02');
+	define ('DBASE_USER', 'bms_dev');
+	define ('DBASE_PASS', 'bms_dev');
+	define ('DBASE_CHARSET', 'utf8');
+
+	define ('EMAIL_FROM', 'noreply@mbse.ym');
+
+	setlocale ( LC_TIME , 'nl_NL' );
+
+} else {
+
+        define ('DBASE_NAME', 'bms_dev');
+	define ('DBASE_HOST', 'lx02');
+	define ('DBASE_USER', 'bms_dev');
+	define ('DBASE_PASS', 'bms_dev');
+	define ('DBASE_CHARSET', 'utf8');
+
+	define ('EMAIL_FROM', 'noreply@mbse.ym');
+
+	setlocale ( LC_TIME , 'nl_NL' );
+
+}
+