svn: /web/php-rmtools/trunk/docroot/rm/ index.php
| From: | Pierre Joye | Date: | Thu, 14 Jan 2010 23:33:51 +0000 |
| Subject: | svn: /web/php-rmtools/trunk/docroot/rm/ index.php | ||
| Groups: | php.webmaster | ||
| Request: | Send a blank email to php-webmaster+get-7059@lists.php.net to get a copy of this message | ||
pajoye Thu, 14 Jan 2010 23:33:51 +0000
Revision: http://svn.php.net/viewvc?view=revision&revision=293564
Log:
- release name can have letters (like 5.3-fpm)
Changed paths:
U web/php-rmtools/trunk/docroot/rm/index.php
Modified: web/php-rmtools/trunk/docroot/rm/index.php
===================================================================
--- web/php-rmtools/trunk/docroot/rm/index.php 2010-01-14 23:33:23 UTC (rev 293563)
+++ web/php-rmtools/trunk/docroot/rm/index.php 2010-01-14 23:33:51 UTC (rev 293564)
@@ -13,7 +13,7 @@
include 'login.php';
$json = filter_input(INPUT_GET, 'json', FILTER_VALIDATE_INT);
-$release_name = filter_input(INPUT_GET, 'release', FILTER_SANITIZE_STRING,
FILTER_FLAG_STRIP_LOW|FILTER_FLAG_STRIP_HIGH);
+$release_name = filter_input(INPUT_GET, 'release',
FILTER_SANITIZE_NUMBER_FLOAT,FILTER_FLAG_ALLOW_FRACTION);
$mode = filter_input(INPUT_GET, 'mode', FILTER_SANITIZE_STRING,
FILTER_FLAG_STRIP_LOW|FILTER_FLAG_STRIP_HIGH);
$title = $release_name;