Merge pull request #142 from indrajitr/deprecation-fixes

Remove deprecations and redundant code
This commit is contained in:
Mark Harrah 2011-08-05 05:02:47 -07:00
commit 5be08da393
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
{