6.84: fixed an issue where SERVER command does not work at all because of changes to match().