Method optionsForFlags

server.py:171–181

(self, flags)

        return self.optionsForFlags(flags)

    def optionsForFlags(self, flags):
        if flags is None:
            return None
        try:
            workdir = flags[flags.index("-working-directory") + 1]
        except (IndexError, ValueError):
            workdir = os.getcwd()
        return {
            "options": flags,
            "workingDirectory": workdir,
        }

    def notify_option_changed(self, uri):
        # no clear options?