Remove unused parameter

Duhemm · Duhemm · commit 3f453b47301c · 2018-09-25T10:32:16.000+02:00
diff --git a/vscode-dotty/src/extension.ts b/vscode-dotty/src/extension.ts
@@ -113,9 +113,8 @@ function connectToSbt(coursierPath: string): Thenable<rpc.MessageConnection> {
 }
 
 /** Mark sbt server as alive in the status bar */
-function markSbtUp(timeout?: NodeJS.Timer) {
+function markSbtUp() {
   sbtStatusBar.text = "sbt server: up $(check)"
-  if (timeout) clearTimeout(timeout)
 }
 
 /** Mark sbt server as dead and try to reconnect */

Original file line number	Diff line number	Diff line change
`@@ -113,9 +113,8 @@ function connectToSbt(coursierPath: string): Thenable<rpc.MessageConnection> {`
`113`	`113`	`}`
`114`	`114`
`115`	`115`	`/** Mark sbt server as alive in the status bar */`
`116`		`-function markSbtUp(timeout?: NodeJS.Timer) {`
	`116`	`+function markSbtUp() {`
`117`	`117`	`sbtStatusBar.text = "sbt server: up $(check)"`
`118`		`- if (timeout) clearTimeout(timeout)`
`119`	`118`	`}`
`120`	`119`
`121`	`120`	`/** Mark sbt server as dead and try to reconnect */`