install.php
changeset 225 90632c09ed7e
parent 222 acfdccf7a2bf
child 227 0f039028f7a5
equal deleted inserted replaced
224:db8d5111ad20 225:90632c09ed7e
  1357     <script type="text/javascript">
  1357     <script type="text/javascript">
  1358       function verify()
  1358       function verify()
  1359       {
  1359       {
  1360         var frm = document.forms.login;
  1360         var frm = document.forms.login;
  1361         ret = true;
  1361         ret = true;
  1362         if ( frm.admin_user.value.match(/^([A-z0-9 \\-\\.]+)$/) && !frm.admin_user.value.match(/^(?:(?:\\d{1,2}|1\\d\\d|2[0-4]\\d|25[0-5])\\.){3}(?:\\d{1,2}|1\\d\\d|2[0-4]\\d|25[0-5])$/) && frm.admin_user.value.toLowerCase() != \'anonymous\' )
  1362         if ( frm.admin_user.value.match(/^([^<>&\?\'"%\n\r\t\a\/]+)$/) && !frm.admin_user.value.match(/^(?:(?:\\d{1,2}|1\\d\\d|2[0-4]\\d|25[0-5])\\.){3}(?:\\d{1,2}|1\\d\\d|2[0-4]\\d|25[0-5])$/) && frm.admin_user.value.toLowerCase() != \'anonymous\' )
  1363         {
  1363         {
  1364           document.getElementById(\'s_user\').src = \'images/good.gif\';
  1364           document.getElementById(\'s_user\').src = \'images/good.gif\';
  1365         }
  1365         }
  1366         else
  1366         else
  1367         {
  1367         {