--- misc/xenconsole/index.php 2013/07/12 10:23:03 2013 +++ misc/xenconsole/index.php 2013/07/17 17:47:49 2014 @@ -1,5 +1,5 @@ $size) {