From: Mart Lubbers <mart@martlubbers.net>
Date: Tue, 12 Jan 2016 14:53:52 +0000 (+0100)
Subject: final commit
X-Git-Url: https://git.martlubbers.net/?a=commitdiff_plain;h=3e5a839d3f540c49d5b903bfebdd8913e7deef9a;p=des2015.git

final commit
---

diff --git a/dsl/runtime/src/nl/ru/des/Marster.java b/dsl/runtime/src/nl/ru/des/Marster.java
index a5c47c7..7074f59 100644
--- a/dsl/runtime/src/nl/ru/des/Marster.java
+++ b/dsl/runtime/src/nl/ru/des/Marster.java
@@ -139,6 +139,7 @@ public class Marster {
 				System.out.println(m.name + " finished!!1one!");
 			}
 			Sound.playSample(new File("rick.wav"), Sound.VOL_MAX);
+			Delay.msDelay(10000);
 			System.exit(0);
 		}
 	}