Description Maxime Porhel 2014-06-11 04:17:08 EDT

Repair action should not save the session when the user choice is No. In this case the expected behavior is to close the session without saving it. 

The issues comes from a wrong report. 
It has been introduced by commit 825388b5e120bfe30c75e8bf0539bf1736fadc23 (2013-09-18 09:58:41) Report recent code changes from the previous code base.

>  if (saveSessions) {
>   session.save();
>  }
>  session.close();

became 

>  if (saveSessions) {
>   session.save(new NullProgressMonitor());
>  }
>  session.save(new NullProgressMonitor());

instead of 

>  if (saveSessions) {
>   session.save(new NullProgressMonitor());
>  }
>  session.close(new NullProgressMonitor());

(as it was done in the Viewpoint repository, commit e4ba2e3c3989c89cb598e90d334523285809df35)