luke/sbt
1
0
Fork 0
mirror of https://github.com/sbt/sbt.git synced 2026-09-08 03:09:49 +02:00
Code Issues Packages Projects Releases Wiki Activity

refactoring of server cancellation request

Browse Source
This commit is contained in:
andrea
2018-10-11 14:03:41 +01:00
parent 34e0fc159c
commit 02b19752eb
4 changed files with 73 additions and 58 deletions
Download Patch File Download Diff File Expand all files Collapse all files
main-command/src/main/scala/sbt/internal/server/ServerHandler.scala
+2
View File
@@ -13,6 +13,7 @@ import sjsonnew.JsonFormat
import sbt.internal.protocol._
import sbt.util.Logger
import sbt.protocol.{ SettingQuery => Q, CompletionParams => CP }
import sbt.internal.langserver.{ CancelRequestParams => CRP }
/**
* ServerHandler allows plugins to extend sbt server.
@@ -71,4 +72,5 @@ trait ServerCallback {
private[sbt] def setInitialized(value: Boolean): Unit
private[sbt] def onSettingQuery(execId: Option[String], req: Q): Unit
private[sbt] def onCompletionRequest(execId: Option[String], cp: CP): Unit
private[sbt] def onCancellationRequest(execId: Option[String], crp: CRP): Unit
}