Issue 69: auth.cas type mismatch for server port parameter
Merge pull request #69 from ultreia-es/ajaxplorer-core-69

auth.cas type mismatch for server port parameter