Setting tag plewww-5.2-4

[plewww.git] / planetlab / pub / feedback.php

diff --git a/planetlab/pub/feedback.php b/planetlab/pub/feedback.php
index e4572e5..8144634 100644 (file)
--- a/planetlab/pub/feedback.php
+++ b/planetlab/pub/feedback.php
@@ -12,9 +12,6 @@
 require_once 'plc_session.php';
 global $adm;
 
-// Get sorting functions
-require_once 'plc_sorts.php';
-
 // Print header
 require_once 'plc_drupal.php';
 drupal_set_title('Slice Feedback');
@@ -37,7 +34,7 @@ if (isset($_REQUEST['email'])) {
   // checks proper syntax
   $email = $_REQUEST['email'];  
   if (preg_match("/^[a-zA-Z0-9_\.-]+@[a-zA-Z0-9\.-]+$/", $email)) {
-    list($username, $domain) = split('@', $email);
+    list($username, $domain) = explode('@', $email);
     // prevent default domain from being appended
     $domain .= ".";
     // check if the domain has MX records, or is at least resolvable