PHP Notice: Undefined Index

[Nightwolf629]

i think this is what you want:

  
if (isset($_GET["Ex"])) 
{ 
	if ($_GET["Ex"] == "false") echo "</pre>"; 
}