remove timeout

huangyxi · web-flow · commit 4b9e0a8700ca · 2025-06-17T21:14:29.000+08:00
diff --git a/src/languageserverinstance.jl b/src/languageserverinstance.jl
@@ -235,7 +235,6 @@ function trigger_symbolstore_reload(server::LanguageServerInstance)
                         ProgressParams(server.current_symserver_progress_token, WorkDoneProgressReport(missing, msg, percentage))
                     )
                     if percentage == 100
-                        sleep(10) # give the UI some time to show the end of the progress
                         JSONRPC.send(
                             server.jr_endpoint,
                             progress_notification_type,

Original file line number	Diff line number	Diff line change
`@@ -235,7 +235,6 @@ function trigger_symbolstore_reload(server::LanguageServerInstance)`
`235`	`235`	`ProgressParams(server.current_symserver_progress_token, WorkDoneProgressReport(missing, msg, percentage))`
`236`	`236`	`)`
`237`	`237`	`if percentage == 100`
`238`		`- sleep(10) # give the UI some time to show the end of the progress`
`239`	`238`	`JSONRPC.send(`
`240`	`239`	`server.jr_endpoint,`
`241`	`240`	`progress_notification_type,`