josh/django-language-server
1
0
Fork 0
mirror of https://github.com/joshuadavidthomas/django-language-server.git synced 2025-10-03 07:04:55 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 5

move GIS check to Python agent (#29)

Browse source
This commit is contained in:
Josh Thomas 2024-12-12 23:32:52 -06:00 • committed by GitHub
parent b993e35460
commit cff90ee869
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
12 changed files with 80 additions and 102 deletions
Download patch file Download diff file Expand all files Collapse all files

10
python/djls/proto/v1/check_pb2.pyi
View file

@ -20,13 +20,11 @@ class HealthResponse(_message.Message):
error: str
def __init__(self, passed: bool = ..., error: _Optional[str] = ...) -> None: ...
class AppInstalledRequest(_message.Message):
__slots__ = ("app_name",)
APP_NAME_FIELD_NUMBER: _ClassVar[int]
app_name: str
def __init__(self, app_name: _Optional[str] = ...) -> None: ...
class GeoDjangoPrereqsRequest(_message.Message):
__slots__ = ()
def __init__(self) -> None: ...
class AppInstalledResponse(_message.Message):
class GeoDjangoPrereqsResponse(_message.Message):
__slots__ = ("passed", "error")
PASSED_FIELD_NUMBER: _ClassVar[int]
ERROR_FIELD_NUMBER: _ClassVar[int]