Squadt aborts on selecting old project dir about mcrl2

[jgroote]

2006-08-30 14:39:05: [email protected] changed priority from major to minor

[jgroote]

2006-08-30 14:39:05: [email protected] changed status from new to assigned

[jgroote]

2006-08-30 14:39:05: [email protected] changed type from defect to task

[jgroote]

2006-08-30 14:39:05: [email protected] edited the issue description

[jgroote]

2006-08-30 14:39:05: [email protected] commented

---

Ever heard of a development version? If people are allowed to continue working with old project files (made by a previous development version), then any strange thing that they report might be due to this old file. If they observe problems I will have to tell anyone that they will have to remove their .squadt directory and start a new project anyway. Unless I can reproduce the problem on my own machine. This is the procedure, I will not put into place temporary measures just to make the development versions work okay. If someone gives me the name of an exception then at least I can trace back the problem quickly.

Almost no exceptions are caught at the moment. This will remain the case until things are stable and a release version will be prepared.

[jgroote]

2006-08-30 15:05:23: [email protected] changed priority from minor to major

[jgroote]

2006-08-30 15:05:23: [email protected] changed type from task to defect

[jgroote]

2006-08-30 15:05:23: [email protected] edited the issue description

[jgroote]

2006-08-30 15:05:23: [email protected] commented

---

I didn't say that people should be allowed to work with old projects. The problem is that the tool aborts if you click on a directory that contains a project.xml that is not a supported squadt file. An old squadt project.xml is an example, but also any other project.xml that has nothing to do with squadt.

$ cat somedir/project.xml
adsf
$ squadt # open, click on adsf dir
/home/muck/somedir/project.xml:1: parser error : Document is empty
asdf
^
terminate called after throwing an instance of 'xml2pp::xml2pp_exception'
what(): Parse error in XML document.
Aborted
$

With the old project file I get:

terminate called after throwing an instance of 'utility::exceptionsquadt::exception::values'
what(): Values for required attributes are missing in element `processor->output'.
Aborted

When I make project.xml a valid xml file without any squadt stuff, squadt thinks it is a valid project and actually overwrites it. Bye bye contents.

A development version will never be stable and ready for a release if such problems are not fixed. Usability isn't any less important because it is a development version.

[jgroote]

2006-08-31 17:17:00: [email protected] changed status from assigned to closed

[jgroote]

2006-08-31 17:17:00: [email protected] changed resolution from ** to fixed

[jgroote]

2006-08-31 17:17:00: [email protected] commented

---

Fixed in revision 1856