Remove some deprecations and redundant code

This commit is contained in:
Indrajit Raychaudhuri 2011-08-05 13:16:49 +05:30
parent c96aa6f9d2
commit 9d6fca5d2a
1 changed files with 1 additions and 1 deletions

View File

@ -37,7 +37,7 @@ object Credentials
if(path.exists)
{
val properties = read(path)
def get(keys: List[String]) = keys.flatMap(properties.get).firstOption.toRight(keys.head + " not specified in credentials file: " + path)
def get(keys: List[String]) = keys.flatMap(properties.get).headOption.toRight(keys.head + " not specified in credentials file: " + path)
List.separate( List(RealmKeys, HostKeys, UserKeys, PasswordKeys).map(get) ) match
{