equal
deleted
inserted
replaced
211 ! ! |
211 ! ! |
212 |
212 |
213 !VDBEventLogApplication methodsFor:'event handling'! |
213 !VDBEventLogApplication methodsFor:'event handling'! |
214 |
214 |
215 onEvent: aGDBEvent |
215 onEvent: aGDBEvent |
|
216 (aGDBEvent isKindOf: GDBExitEvent) ifTrue:[ |
|
217 self unsubscribe. |
|
218 ^self. |
|
219 ]. |
|
220 ((aGDBEvent isKindOf: GDBCommandEvent) and:[aGDBEvent command isKindOf: GDBMI_gdb_exit]) ifTrue:[ |
|
221 self unsubscribe. |
|
222 ^self. |
|
223 ]. |
216 self eventList add: aGDBEvent |
224 self eventList add: aGDBEvent |
217 |
225 |
218 "Created: / 07-06-2014 / 14:33:46 / Jan Vrany <jan.vrany@fit.cvut.cz>" |
226 "Created: / 07-06-2014 / 14:33:46 / Jan Vrany <jan.vrany@fit.cvut.cz>" |
219 ! ! |
227 ! ! |
220 |
228 |