| Summary: | Random problem on project deletion | ||
|---|---|---|---|
| Product: | [Modeling] Sirius | Reporter: | Pierre-Charles David <pierre-charles.david> |
| Component: | Core | Assignee: | Project inbox <sirius.core-inbox> |
| Status: | CLOSED FIXED | QA Contact: | Florian Barbin <florian.barbin> |
| Severity: | normal | ||
| Priority: | P3 | CC: | cedric.brun, florian.barbin, laurent.redor |
| Version: | 1.0.1 | Keywords: | triaged |
| Target Milestone: | 1.0.2 | ||
| Hardware: | PC | ||
| OS: | Linux | ||
| See Also: |
https://git.eclipse.org/r/52103 https://git.eclipse.org/c/sirius/org.eclipse.sirius.git/commit/?id=72b4deb7d37b374f1d204636faad9ed5e4dae8f3 https://git.eclipse.org/r/52136 https://git.eclipse.org/c/sirius/org.eclipse.sirius.git/commit/?id=df363683891a6f6fcf265911a66798b5176a6d7c https://git.eclipse.org/r/52145 https://git.eclipse.org/c/sirius/org.eclipse.sirius.git/commit/?id=02dea85d860f38c423da5b2b35f971736bd48d5b |
||
| Whiteboard: | |||
| Bug Depends on: | 447963 | ||
| Bug Blocks: | |||
|
Description
Pierre-Charles David
Clone to try and fix this for Sirius 1.0.2. Note that although the code change itself is small and a simple cherry-pick should not cause conflicts, this touches a sensitive area, so what made sense in the context of Sirius 2.0 may not work exactly the same for 1.0. In other words: don't blindly apply the patch, but make sure the bug already occurred in 1.0, the patch fixes it, and causes no regression. Fixed by e4e58ab59c4a03f4a60b392325a4ac0bf8d3f299. Verified with Sirius 1.0.2.201501270932 Available in Sirius 1.0.2. New Gerrit change created: https://git.eclipse.org/r/52103 Gerrit change https://git.eclipse.org/r/52103 was merged to [master]. Commit: http://git.eclipse.org/c/sirius/org.eclipse.sirius.git/commit/?id=72b4deb7d37b374f1d204636faad9ed5e4dae8f3 New Gerrit change created: https://git.eclipse.org/r/52136 Gerrit change https://git.eclipse.org/r/52136 was merged to [master]. Commit: http://git.eclipse.org/c/sirius/org.eclipse.sirius.git/commit/?id=df363683891a6f6fcf265911a66798b5176a6d7c New Gerrit change created: https://git.eclipse.org/r/52145 Gerrit change https://git.eclipse.org/r/52145 was merged to [master]. Commit: http://git.eclipse.org/c/sirius/org.eclipse.sirius.git/commit/?id=02dea85d860f38c423da5b2b35f971736bd48d5b |