Go back and try it again!'; } } else $error='Your account is not activated.

Go back and try it again!'; } else $error='No user with username '.htmlspecialchars($ws_user).' available.

Go back and try it again!'; ?> ';$error = 'Login successful!'; } ?>