# HG changeset patch
# User Nicholas Jillings <nicholas.jillings@mail.bcu.ac.uk>
# Date 1531929086 -3600
# Node ID edd536f01e4b92776de36b1acf3e40897c9683a2
# Parent  53d701288da5d90b5baf695e74721c22a9500834
Include config.php

diff -r 53d701288da5 -r edd536f01e4b php/get_filtered_count.php
--- a/php/get_filtered_count.php	Wed Jul 18 16:47:07 2018 +0100
+++ b/php/get_filtered_count.php	Wed Jul 18 16:51:26 2018 +0100
@@ -1,4 +1,5 @@
 <?php
+incluce_once("config.php");
 header("Cache-Control: no-store, no-cache, must-revalidate, max-age=0");
 header("Cache-Control: post-check=0, pre-check=0", false);
 header("Pragma: no-cache");
diff -r 53d701288da5 -r edd536f01e4b php/get_tests.php
--- a/php/get_tests.php	Wed Jul 18 16:47:07 2018 +0100
+++ b/php/get_tests.php	Wed Jul 18 16:51:26 2018 +0100
@@ -1,4 +1,5 @@
 <?php
+incluce_once("config.php");
 header("Cache-Control: no-store, no-cache, must-revalidate, max-age=0");
 header("Cache-Control: post-check=0, pre-check=0", false);
 header("Pragma: no-cache");
diff -r 53d701288da5 -r edd536f01e4b php/pool.php
--- a/php/pool.php	Wed Jul 18 16:47:07 2018 +0100
+++ b/php/pool.php	Wed Jul 18 16:51:26 2018 +0100
@@ -1,4 +1,5 @@
 <?php
+incluce_once("config.php");
 header("Cache-Control: no-store, no-cache, must-revalidate, max-age=0");
 header("Cache-Control: post-check=0, pre-check=0", false);
 header("Pragma: no-cache");
diff -r 53d701288da5 -r edd536f01e4b php/pseudo.php
--- a/php/pseudo.php	Wed Jul 18 16:47:07 2018 +0100
+++ b/php/pseudo.php	Wed Jul 18 16:51:26 2018 +0100
@@ -1,4 +1,5 @@
 <?php
+incluce_once("config.php");
 header('Access-Control-Allow-Origin: *');
 header("Content-type: text/xml");
 header("Cache-Control: no-store, no-cache, must-revalidate, max-age=0");
diff -r 53d701288da5 -r edd536f01e4b php/requestKey.php
--- a/php/requestKey.php	Wed Jul 18 16:47:07 2018 +0100
+++ b/php/requestKey.php	Wed Jul 18 16:51:26 2018 +0100
@@ -1,5 +1,5 @@
 <?php
-
+incluce_once("config.php");
 function generateRandomString($length = 32) {
     // from http://stackoverflow.com/questions/4356289/php-random-string-generator
     $characters = '0123456789abcdefghijklmnopqrstuvwxyzABCDEFGHIJKLMNOPQRSTUVWXYZ';
diff -r 53d701288da5 -r edd536f01e4b php/save.php
--- a/php/save.php	Wed Jul 18 16:47:07 2018 +0100
+++ b/php/save.php	Wed Jul 18 16:51:26 2018 +0100
@@ -1,5 +1,5 @@
 <?php
-
+incluce_once("config.php");
 function findNodeByAttribute($nodeList, $attributeName, $attributeValue) {
     if (empty($attributeName) || empty($attributeValue)) {
         die("Error: Empty findNodeByAttribute");
diff -r 53d701288da5 -r edd536f01e4b php/score_parser.php
--- a/php/score_parser.php	Wed Jul 18 16:47:07 2018 +0100
+++ b/php/score_parser.php	Wed Jul 18 16:51:26 2018 +0100
@@ -1,4 +1,5 @@
 <?php
+incluce_once("config.php");
 header("Cache-Control: no-store, no-cache, must-revalidate, max-age=0");
 header("Cache-Control: post-check=0, pre-check=0", false);
 header("Pragma: no-cache");