Take care of a bug in the Props library

Ints are not properly converted. This is my library (external to the
project) so I must find time to fix it.

diff --git a/src/main/scala/gr/grnet/aquarium/Configurator.scala b/src/main/scala/gr/grnet/aquarium/Configurator.scala
index f28811e..ba24838 100644 (file)
--- a/src/main/scala/gr/grnet/aquarium/Configurator.scala
+++ b/src/main/scala/gr/grnet/aquarium/Configurator.scala
@@ -252,6 +252,12 @@ class Configurator(val props: Props) extends Loggable {
     val newProps = new Props(newMap)
     new Configurator(newProps)
   }
+
+  // FIXME: This is instead of props.getInt which currently contains a bug.
+  // FIXME: Fix the original bug and delete this method
+  def getInt(name: String): Maybe[Int] = {
+    props.get(name).map(_.toInt)
+  }
 }
 
 object Configurator {