Version 0.8.12   isValidSession() now accounts for the servlet name as
well.