| 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);
|
| -}
|
|
|