Method _notify_option_changed

server.py:187–199

(self, uri, options)

        self._notify_option_changed(uri, self.optionsForFile(uri))

    def _notify_option_changed(self, uri, options):
        # empty options is nouse and lsp will stop working.., at least there should has a infer flags..
        if options is None:
            return
        notification = {
            "jsonrpc": "2.0",
            "method": "build/sourceKitOptionsChanged",
            "params": {
                "uri": uri,
                "updatedOptions": options,
            },
        }
        send(notification)

    def shutdown(self):
        self.observed_thread = None  # release to end in subthread