From 1be53be310ce74d9a01a4b00a8e2edd87bc05dcc Mon Sep 17 00:00:00 2001 From: Mark Harrah Date: Tue, 25 Jan 2011 22:18:18 -0500 Subject: [PATCH] make Uri parser fail (instead of error) on malformed inputs --- util/complete/Parsers.scala | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/util/complete/Parsers.scala b/util/complete/Parsers.scala index 9679ac48a..2b8957a54 100644 --- a/util/complete/Parsers.scala +++ b/util/complete/Parsers.scala @@ -48,7 +48,7 @@ trait Parsers def spaceDelimited(display: String): Parser[Seq[String]] = (token(Space) ~> token(NotSpace, display)).* <~ SpaceClass.* def trimmed(p: Parser[String]) = p map { _.trim } - def Uri(ex: Set[URI]) = NotSpace map { uri => new URI(uri) } examples(ex.map(_.toString)) + def Uri(ex: Set[URI]) = mapOrFail(NotSpace)( uri => new URI(uri)) examples(ex.map(_.toString)) } object Parsers extends Parsers object DefaultParsers extends Parsers with ParserMain \ No newline at end of file