equal
deleted
inserted
replaced
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 { |