equal
deleted
inserted
replaced
273 case Protocol.Hover(id, node_pos) => hover(id, node_pos) |
273 case Protocol.Hover(id, node_pos) => hover(id, node_pos) |
274 case Protocol.GotoDefinition(id, node_pos) => goto_definition(id, node_pos) |
274 case Protocol.GotoDefinition(id, node_pos) => goto_definition(id, node_pos) |
275 case _ => channel.log("### IGNORED") |
275 case _ => channel.log("### IGNORED") |
276 } |
276 } |
277 } |
277 } |
278 catch { case exn: Throwable => channel.log("*** ERROR: " + Exn.message(exn)) } |
278 catch { case exn: Throwable => channel.error_message(Exn.message(exn)) } |
279 } |
279 } |
280 |
280 |
281 @tailrec def loop() |
281 @tailrec def loop() |
282 { |
282 { |
283 channel.read() match { |
283 channel.read() match { |