1145 else: |
1146 else: |
1146 msg = self.tr( |
1147 msg = self.tr( |
1147 '"{0}" has terminated with an exit status of' |
1148 '"{0}" has terminated with an exit status of' |
1148 ' {1}.\n{2}').format( |
1149 ' {1}.\n{2}').format( |
1149 os.path.basename(program), status, info) |
1150 os.path.basename(program), status, info) |
|
1151 if status != 0: |
|
1152 timeout = 0 |
|
1153 else: |
|
1154 timeout = None |
1150 self.ui.showNotification( |
1155 self.ui.showNotification( |
1151 UI.PixmapCache.getPixmap("debug48"), |
1156 UI.PixmapCache.getPixmap("debug48"), |
1152 self.tr("Program terminated"), msg, timeout=0) |
1157 self.tr("Program terminated"), msg, timeout=timeout) |
1153 |
1158 |
1154 def __lastClientExited(self): |
1159 def __lastClientExited(self): |
1155 """ |
1160 """ |
1156 Private slot handling the exit of the last client. |
1161 Private slot handling the exit of the last client. |
1157 """ |
1162 """ |