From bf5dbadc530b450bccf7c489cd6f1134b7a92676 Mon Sep 17 00:00:00 2001 From: Mark Harrah Date: Thu, 7 Jan 2010 21:39:16 -0500 Subject: [PATCH] Handle changes to Source serialization format by returning empty Source --- compile/api/APIFormat.scala | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/compile/api/APIFormat.scala b/compile/api/APIFormat.scala index 6e3f7ab82..089f26e8f 100644 --- a/compile/api/APIFormat.scala +++ b/compile/api/APIFormat.scala @@ -29,6 +29,6 @@ object APIFormat try { objIn.readObject().asInstanceOf[Source] } finally { objIn.close() } } - catch { case e: java.io.EOFException => new xsbti.api.Source(Array(), Array())} + catch { case _: java.io.EOFException | _: java.io.InvalidClassException => new xsbti.api.Source(Array(), Array())} } } \ No newline at end of file