Simple error recovery.

Well, it's not very advanced but it is probably good enough for now.
This commit is contained in:
Roberto Raggi
2010-11-29 09:54:27 +01:00
parent 055aa15fcc
commit 90bf956cc1
6 changed files with 868 additions and 495 deletions

File diff suppressed because it is too large Load Diff