Permalink
Browse files

Merge branch '2.2.x'

  • Loading branch information...
2 parents 9430133 + 5d28cde commit b18dc78b89d5d8ee0f3ac20433ad67aa75bf710c @jeffbrown jeffbrown committed Nov 15, 2012
@@ -115,7 +115,7 @@ class InteractiveMode {
else if ("quit".equals(trimmed)) {
goodbye()
}
- else if ("exit".equals(trimmed)) {
+ else if (("exit".equals(trimmed)) || ("stop-app".equals(trimmed))) {
exit()
}
else if (scriptName.startsWith("open ")) {

0 comments on commit b18dc78

Please sign in to comment.