Fixed a php warning in database_user_edit.php

tbrehm

2012-08-28 cbabcbbff6fc99915ed3f2a5e91d243c7125c9b1

 install/lib/install.lib.php

@@ -723,7 +723,7 @@
   if(is_file($ispconfig_vhost_file)) {
      $tmp = file_get_contents($ispconfig_vhost_file);
      preg_match($regex,$tmp,$matches);
      $port_number = intval($matches[1]);
      $port_number = @intval($matches[1]);
      if($port_number > 0) {
         return $port_number;
      } else {