mirrors/cdt
1
0
Fork 0
mirror of https://github.com/eclipse-cdt/cdt synced 2025-07-21 16:05:25 +02:00
Code Issues Wiki Activity

Bug: Docker: Save correct docker image name

Browse source 
When the docker image was not locally available the name of the image
was not correctly saved
This commit is contained in:
Moritz 'Morty' Strübe 2022-11-28 18:28:39 +01:00 • committed by Jonah Graham
parent 1d73f112dc
commit 7966c42ecb
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
launch/org.eclipse.cdt.docker.launcher/src/org/eclipse/cdt/internal/docker/launcher/ContainerPropertyTab.java
View file

@ -310,7 +310,7 @@ public class ContainerPropertyTab extends AbstractCBuildPropertyTab
final String nimg = currentText.substring(0, e.start) + e.text + currentText.substring(e.end); final String nimg = currentText.substring(0, e.start) + e.text + currentText.substring(e.end);
var t = displayedImages.stream().filter(x -> x.repoTags().contains(nimg)).findAny().orElse(null); var t = displayedImages.stream().filter(x -> x.repoTags().contains(nimg)).findAny().orElse(null);
// Set to 0 if it does not exist // Set to 0 if it does not exist
setImageId(imageCombo.getText()); setImageId(nimg);
model.setSelectedImage(t); model.setSelectedImage(t);
} }
}); });