Skip to content

Commit 3208596

Browse files
committed
use indeternimate progress reporting again
beacue the LS expects monotonically increasing perenctages
1 parent 561db6e commit 3208596

File tree

1 file changed

+9
-4
lines changed

1 file changed

+9
-4
lines changed

src/languageserverinstance.jl

Lines changed: 9 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -147,7 +147,7 @@ function create_symserver_progress_ui(server)
147147
JSONRPC.send(
148148
server.jr_endpoint,
149149
progress_notification_type,
150-
ProgressParams(token, WorkDoneProgressBegin("Julia", missing, "Starting async tasks...", 0))
150+
ProgressParams(token, WorkDoneProgressBegin("Julia", missing, "Starting async tasks...", missing))
151151
)
152152
end
153153
end
@@ -185,11 +185,11 @@ function trigger_symbolstore_reload(server::LanguageServerInstance)
185185
JSONRPC.send(
186186
server.jr_endpoint,
187187
progress_notification_type,
188-
ProgressParams(server.current_symserver_progress_token, WorkDoneProgressReport(missing, msg, percentage))
188+
ProgressParams(server.current_symserver_progress_token, WorkDoneProgressReport(missing, msg, missing))
189189
)
190-
@info msg percentage
190+
@info msg
191191
else
192-
@info msg percentage
192+
@info msg
193193
end
194194
end,
195195
server.err_handler,
@@ -261,6 +261,7 @@ function Base.run(server::LanguageServerInstance)
261261
server.status = :started
262262

263263
run(server.jr_endpoint)
264+
@debug "Connected at $(round(Int, time()))"
264265

265266
trigger_symbolstore_reload(server)
266267

@@ -310,6 +311,8 @@ function Base.run(server::LanguageServerInstance)
310311
@debug "LS: Symbol server listener task done."
311312
end
312313

314+
@debug "Symbol Server started at $(round(Int, time()))"
315+
313316
msg_dispatcher = JSONRPC.MsgDispatcher()
314317

315318
msg_dispatcher[textDocument_codeAction_request_type] = request_wrapper(textDocument_codeAction_request, server)
@@ -351,6 +354,7 @@ function Base.run(server::LanguageServerInstance)
351354
msg_dispatcher[textDocument_selectionRange_request_type] = request_wrapper(textDocument_selectionRange_request, server)
352355

353356
@debug "starting main loop"
357+
@debug "Starting event listener loop at $(round(Int, time()))"
354358
while true
355359
message = take!(server.combined_msg_queue)
356360
if message.type == :close
@@ -380,6 +384,7 @@ function Base.run(server::LanguageServerInstance)
380384
@debug "starting re-lint of everything"
381385
relintserver(server)
382386
@debug "re-lint done"
387+
@debug "Linting finished at $(round(Int, time()))"
383388
end
384389
end
385390
end

0 commit comments

Comments
 (0)