Remove unused parameter

Duhemm · Duhemm · commit 501fbef3dd1f · 2018-10-10T08:23:35.000+02:00
diff --git a/vscode-dotty/src/extension.ts b/vscode-dotty/src/extension.ts
@@ -130,9 +130,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
`@@ -130,9 +130,8 @@ function connectToSbt(coursierPath: string): Thenable<rpc.MessageConnection> {`
`130`	`130`	`}`
`131`	`131`
`132`	`132`	`/** Mark sbt server as alive in the status bar */`
`133`		`-function markSbtUp(timeout?: NodeJS.Timer) {`
	`133`	`+function markSbtUp() {`
`134`	`134`	`sbtStatusBar.text = "sbt server: up $(check)"`
`135`		`- if (timeout) clearTimeout(timeout)`
`136`	`135`	`}`
`137`	`136`
`138`	`137`	`/** Mark sbt server as dead and try to reconnect */`