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)