get_array

[plewww.git] / planetlab / common / login.php

diff --git a/planetlab/common/login.php b/planetlab/common/login.php
index 92c7767..312b64b 100644 (file)
--- a/planetlab/common/login.php
+++ b/planetlab/common/login.php
@@ -53,7 +53,7 @@ if (!empty($_SERVER['QUERY_STRING'])) {
   $self .= "?" . $_SERVER['QUERY_STRING'];
 }
 
-$url = htmlspecialchars($_REQUEST['url']);
+$url = htmlspecialchars(get_array($_REQUEST, 'url'));
 
 // XXX Use our own stylesheet instead of drupal.css
 print <<<EOF