equal
deleted
inserted
replaced
187 System.out.flush(); |
187 System.out.flush(); |
188 e.printStackTrace(); |
188 e.printStackTrace(); |
189 } |
189 } |
190 |
190 |
191 static void printPrompt() { |
191 static void printPrompt() { |
|
192 printPrompt(false); |
|
193 } |
|
194 |
|
195 static void printPrompt(boolean simple) { |
192 ThreadInfo threadInfo = ThreadInfo.getCurrentThreadInfo(); |
196 ThreadInfo threadInfo = ThreadInfo.getCurrentThreadInfo(); |
193 if (threadInfo == null) { |
197 if (simple || threadInfo == null) { |
194 System.out.print |
198 System.out.print |
195 (MessageOutput.format("jdb prompt with no current thread")); |
199 (MessageOutput.format("jdb prompt with no current thread")); |
196 } else { |
200 } else { |
197 System.out.print |
201 System.out.print |
198 (MessageOutput.format("jdb prompt thread name and current stack frame", |
202 (MessageOutput.format("jdb prompt thread name and current stack frame", |