1057 Utilities.html_uencode(message)) |
1057 Utilities.html_uencode(message)) |
1058 else: |
1058 else: |
1059 info = "" |
1059 info = "" |
1060 if program is None: |
1060 if program is None: |
1061 E5MessageBox.information( |
1061 E5MessageBox.information( |
1062 self.ui, Program, self.tr( |
1062 self.ui, Program, |
1063 '<p>The program has terminated with an exit' |
1063 self.tr('<p>The program has terminated with an exit' |
1064 ' status of {0}.</p>{1}').format(status, info) |
1064 ' status of {0}.</p>{1}').format(status, info) |
1065 ) |
1065 ) |
1066 else: |
1066 else: |
1067 E5MessageBox.information( |
1067 E5MessageBox.information( |
1068 self.ui, Program, self.tr( |
1068 self.ui, Program, |
1069 '<p><b>{0}</b> has terminated with an exit' |
1069 self.tr('<p><b>{0}</b> has terminated with an exit' |
1070 ' status of {1}.</p>{2}').format( |
1070 ' status of {1}.</p>{2}').format( |
1071 .format(os.path.abspath(self.ui.currentProg), |
1071 os.path.abspath(self.ui.currentProg), |
|
1072 status, info) |
1072 ) |
1073 ) |
1073 else: |
1074 else: |
1074 if message: |
1075 if message: |
1075 info = self.tr("Message: {0}").format( |
1076 info = self.tr("Message: {0}").format( |
1076 Utilities.html_uencode(message)) |
1077 Utilities.html_uencode(message)) |
1097 ) |
1098 ) |
1098 else: |
1099 else: |
1099 self.appendStdout.emit(self.tr( |
1100 self.appendStdout.emit(self.tr( |
1100 '"{0}" has terminated with an exit status of' |
1101 '"{0}" has terminated with an exit status of' |
1101 ' {1}.\n{2}\n').format( |
1102 ' {1}.\n{2}\n').format( |
1102 os.path.abspath(self.ui.currentProg), status, |
1103 os.path.abspath(self.ui.currentProg), |
|
1104 status, info) |
1103 ) |
1105 ) |
1104 |
1106 |
1105 def __lastClientExited(self): |
1107 def __lastClientExited(self): |
1106 """ |
1108 """ |
1107 Private slot handling the exit of the last client. |
1109 Private slot handling the exit of the last client. |