Method unregister_uri

server.py:143–144

(self, uri)

        self._notify_option_changed(uri, self.optionsForFlags(flags))

    def unregister_uri(self, uri):
        self.observed_uri.remove(uri)

    def sourceKitOptions(self, uri):
        file_path = uri2realpath(uri)