Browse code

Verbiete Punkt im GIT-Username

Bernd Wurst authored on26/04/2014 07:05:37
Showing1 changed files
... ...
@@ -279,8 +279,8 @@ function newkey($pubkey, $handle)
279 279
   $username = $_SESSION['userinfo']['username'];
280 280
   
281 281
   $handle = $username.'-'.$handle;
282
-  if (! validate_name($handle)) {
283
-    system_failure("Der eingegebene Name enthält ungültige Zeichen. Bitte nur Buchstaben, Zahlen, Unterstrich, Binderstrich und Punkt benutzen.");
282
+  if (! validate_name($handle) || (str_replace(".", "x", $handle) != $handle)) {
283
+    system_failure("Der eingegebene Name enthält ungültige Zeichen. Bitte nur Buchstaben, Zahlen, Unterstrich und Bindestrich benutzen.");
284 284
   }
285 285
 
286 286
   $keyfile = $key_dir.'/'.$handle.'.pub';