--- misc/xenconsole/index.php	2012/11/30 10:58:49	1882
+++ misc/xenconsole/index.php	2012/11/30 12:05:52	1883
@@ -207,7 +207,7 @@
 				<?php echo $network;?>
 				<?php 
 				if ($url != "") {
-					echo "<a href='#' onclick=\"console('<?php echo $url;?>','<?php echo $session;?>')\"><img src='gfx/icon-terminal.png' style='vertical-align: middle;'></a>";
+					echo "<a href='#' onclick=\"console('$url','$session')\"><img src='gfx/icon-terminal.png' style='vertical-align: middle;'></a>";
 				} 
 				?>
 			</td>