--- misc/xenconsole/index.php	2013/04/16 15:21:10	1971
+++ misc/xenconsole/index.php	2013/07/17 17:47:49	2014
@@ -1,5 +1,5 @@
 <?php
-include("config.php");
+require("config.php");
 
 function format_memory($size) {
   if (1024 > $size) {