Re: [incquery-dev] Project registration error in incquery 0.7

[Dávid István <davidi@xxxxxxxxxxxxxx>]

Hi Zoli,

verified, thanks for the heads-up.

Just a few hours ago I tried to add the IncQuery nature to an already existing standard plug-in project but I wasn't able to do it via the Configure menu, since no related element is available for that. I was about to ask you about that tomorrow, since it would apparently come in handy in some cases, so as a user I agree with your suggestion about placing an "Add IncQuery nature" menu item under the Configure menu with the extra check looking for wrong builder id.

Istvan

2013/4/4 Ujhelyi Zoltán <ujhelyiz@xxxxxxxxxx>

Hi everybody,

I have found a nasty issue in project registration: an incorrect builder id is registered during the execution of the New project wizard (it is a renaming error from the project renaming). The issue is nasty, as everything seems to work while it is misset, but there might be some slight issues.

The cep projects of István Dávid are most certainly affected, and there might be other existing projects that we have no control of.

I have already opened the issue https://bugs.eclipse.org/bugs/show_bug.cgi?id=404952 on Bugzilla, and created a fix for all future projects. However, for already existing projects we should provide a way to fix this - preferably without the manual editing of the .project file.

I will take a look into that part as well, in the meanwhile, please be careful about this issue.

Zoli
-- Zoltán Ujhelyi
https://www.inf.mit.bme.hu/en/members/ujhelyiz

Fault Tolerant Systems Research Group
Budapest University of Technology and Economics

_______________________________________________
incquery-dev mailing list
incquery-dev@xxxxxxxxxxx
http://dev.eclipse.org/mailman/listinfo/incquery-dev