Remove unused parameter

Duhemm · Duhemm · commit a3555c8334cf · 2018-10-01T14:44:57.000+02:00
diff --git a/vscode-dotty/src/extension.ts b/vscode-dotty/src/extension.ts
@@ -116,9 +116,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
`@@ -116,9 +116,8 @@ function connectToSbt(coursierPath: string): Thenable<rpc.MessageConnection> {`
`116`	`116`	`}`
`117`	`117`
`118`	`118`	`/** Mark sbt server as alive in the status bar */`
`119`		`-function markSbtUp(timeout?: NodeJS.Timer) {`
	`119`	`+function markSbtUp() {`
`120`	`120`	`sbtStatusBar.text = "sbt server: up $(check)"`
`121`		`- if (timeout) clearTimeout(timeout)`
`122`	`121`	`}`
`123`	`122`
`124`	`123`	`/** Mark sbt server as dead and try to reconnect */`