PR# 19470 When starting EiffelStudio after EiffelBuild, the Eiffel configuration reset itself.

Problem Report Summary
Submitter: tilouis
Category: EiffelBuild
Priority: Medium
Date: 2018/10/03
Class: Bug
Severity: Serious
Number: 19470
Release: 18.07
Confidential: No
Status: Closed
Responsible: jfiat_es
Environment: Liux Ubuntu 18.04
Synopsis: When starting EiffelStudio after EiffelBuild, the Eiffel configuration reset itself.

Description
If I use only EiffelBuild or only EiffelStudio, the configuration is correctly saved. But if I start EiffelStudio after having used EiffelBuild, the configuration of EiffelStudio is resetted (as if I was using it for the first time).
To Reproduce
- Open EiffelBuild
- Close EiffelBuild
- Open EiffelStudio (you will have to decide to use the GPL or entreprise edition)
- Close EiffelStudio
- Open EiffelBuild
- Close EiffelBuild
- Open EiffelStudio (you will have to decide again to use the GPL or entreprise edition)
Problem Report Interactions
From:jfiat_es    Date:2018/11/05    Status: Closed    Download   
Fixed by rev#102401.
The correction will be integrated for upcoming release.

From:jfiat_es    Date:2018/11/05    Status: Analyzed    Download   
We were able to reproduce.
We will notify you when it is fixed.