GEANT /
CAT
| @@ 144-151 (lines=8) @@ | ||
| 141 | return $check; |
|
| 142 | } |
|
| 143 | ||
| 144 | function valid_user($input) { |
|
| 145 | $retval = $input; |
|
| 146 | if ($input != "" && !ctype_print($input)) { |
|
| 147 | echo input_validation_error(_("The user identifier is not an ASCII string!")); |
|
| 148 | exit(1); |
|
| 149 | } |
|
| 150 | return $retval; |
|
| 151 | } |
|
| 152 | ||
| 153 | function valid_token($input) { |
|
| 154 | $retval = $input; |
|
| @@ 153-160 (lines=8) @@ | ||
| 150 | return $retval; |
|
| 151 | } |
|
| 152 | ||
| 153 | function valid_token($input) { |
|
| 154 | $retval = $input; |
|
| 155 | if ($input != "" && preg_match('/[^0-9a-fA-F]/', $input) != 0) { |
|
| 156 | echo input_validation_error(_("Token is not a hexadecimal string!")); |
|
| 157 | exit(1); |
|
| 158 | } |
|
| 159 | return $retval; |
|
| 160 | } |
|
| 161 | ||
| 162 | function valid_coordinate($input) { |
|
| 163 | if (!is_numeric($input)) { |
|
