Handle changes to Source serialization format by returning empty Source

This commit is contained in:
Mark Harrah 2010-01-07 21:39:16 -05:00
parent 3332b0707a
commit bf5dbadc53
1 changed files with 1 additions and 1 deletions

View File

@ -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())}
}
}