mirror of
https://github.com/eclipse-cdt/cdt
synced 2025-06-08 10:16:03 +02:00
Make sure gdb is destroy();
This commit is contained in:
parent
46e1e64e85
commit
0e651d89c6
1 changed files with 7 additions and 1 deletions
|
@ -298,6 +298,12 @@ MIPlugin.getDefault().debugLog(number++ + " " + cmd.toString());
|
||||||
}
|
}
|
||||||
} catch (IOException e) {
|
} catch (IOException e) {
|
||||||
}
|
}
|
||||||
|
|
||||||
|
// Make sure it gdb is killed.
|
||||||
|
// FIX: Spawner will do the waitFor();
|
||||||
|
if (miProcess != null) {
|
||||||
|
miProcess.destroy();
|
||||||
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
/**
|
/**
|
||||||
|
|
Loading…
Add table
Reference in a new issue