1090 else: |
1090 else: |
1091 E5MessageBox.information( |
1091 E5MessageBox.information( |
1092 self.ui, Program, |
1092 self.ui, Program, |
1093 self.tr('<p><b>{0}</b> has terminated with an exit' |
1093 self.tr('<p><b>{0}</b> has terminated with an exit' |
1094 ' status of {1}.</p>{2}').format( |
1094 ' status of {1}.</p>{2}').format( |
1095 os.path.abspath(self.ui.currentProg), |
1095 os.path.abspath(program), status, info) |
1096 status, info) |
|
1097 ) |
1096 ) |
1098 else: |
1097 else: |
1099 if message: |
1098 if message: |
1100 info = self.tr("Message: {0}").format( |
1099 info = self.tr("Message: {0}").format( |
1101 Utilities.html_uencode(message)) |
1100 Utilities.html_uencode(message)) |
1122 ) |
1121 ) |
1123 else: |
1122 else: |
1124 self.appendStdout.emit(self.tr( |
1123 self.appendStdout.emit(self.tr( |
1125 '"{0}" has terminated with an exit status of' |
1124 '"{0}" has terminated with an exit status of' |
1126 ' {1}.\n{2}\n').format( |
1125 ' {1}.\n{2}\n').format( |
1127 os.path.abspath(self.ui.currentProg), |
1126 os.path.abspath(program), status, info) |
1128 status, info) |
|
1129 ) |
1127 ) |
1130 |
1128 |
1131 def __lastClientExited(self): |
1129 def __lastClientExited(self): |
1132 """ |
1130 """ |
1133 Private slot handling the exit of the last client. |
1131 Private slot handling the exit of the last client. |