diff options
| author | Jan Tuomi <jans.tuomi@gmail.com> | 2016-07-30 13:04:17 +0300 |
|---|---|---|
| committer | Jan Tuomi <jans.tuomi@gmail.com> | 2016-07-30 13:04:17 +0300 |
| commit | d73ee4a75e5a81c4e85008ecd306979bf4a38713 (patch) | |
| tree | 442d1490147c2f7af65d736403777937a47f9188 /src/main | |
| parent | 8813de2902e06c61b2bdc8697b1cc987f920dc1f (diff) | |
Add slight delay to repl to fix exception output
Diffstat (limited to 'src/main')
| -rw-r--r-- | src/main/com/jantuomi/tunkki/Main.java | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/main/com/jantuomi/tunkki/Main.java b/src/main/com/jantuomi/tunkki/Main.java index 367e678..5148b68 100644 --- a/src/main/com/jantuomi/tunkki/Main.java +++ b/src/main/com/jantuomi/tunkki/Main.java @@ -31,7 +31,7 @@ public class Main { } } - public static void repl() { + public static void repl() throws InterruptedException { Scanner scanner = new Scanner(System.in); String input; while (true) { @@ -42,6 +42,7 @@ public class Main { run(input); } catch (TunkkiError e) { e.printStackTrace(); + Thread.sleep(50); } } } |
