Index: pkg/fletchc/lib/src/verbs/x_end_verb.dart |
diff --git a/pkg/fletchc/lib/src/verbs/x_end_verb.dart b/pkg/fletchc/lib/src/verbs/x_end_verb.dart |
deleted file mode 100644 |
index abc534bb620ac77521366c5e55087e6d8ee181b2..0000000000000000000000000000000000000000 |
--- a/pkg/fletchc/lib/src/verbs/x_end_verb.dart |
+++ /dev/null |
@@ -1,45 +0,0 @@ |
-// Copyright (c) 2015, the Dartino project authors. Please see the AUTHORS file |
-// for details. All rights reserved. Use of this source code is governed by a |
-// BSD-style license that can be found in the LICENSE.md file. |
- |
-library fletchc.verbs.end_verb; |
- |
-import 'infrastructure.dart'; |
- |
-import '../hub/session_manager.dart' show |
- endSession; |
- |
-import 'documentation.dart' show |
- endDocumentation; |
- |
-const Action endAction = |
- const Action(end, endDocumentation, requiresTargetSession: true); |
- |
-Future<int> end(AnalyzedSentence sentence, VerbContext context) { |
- String name = sentence.targetName; |
- UserSession session = endSession(name); |
- context = context.copyWithSession(session); |
- return session.worker.performTask( |
- new EndSessionTask(name), context.clientConnection, endSession: true); |
-} |
- |
-class EndSessionTask extends SharedTask { |
- // Keep this class simple, see note in superclass. |
- |
- final String name; |
- |
- const EndSessionTask(this.name); |
- |
- Future<int> call( |
- CommandSender commandSender, |
- StreamIterator<ClientCommand> commandIterator) { |
- return endSessionTask(name); |
- } |
-} |
- |
-Future<int> endSessionTask(String name) { |
- assert(SessionState.internalCurrent.name == name); |
- SessionState.internalCurrent = null; |
- print("Ended session '$name'."); |
- return new Future<int>.value(0); |
-} |