diff options
| author | Nate Sesti <sestinj@gmail.com> | 2023-07-16 16:25:02 -0700 |
|---|---|---|
| committer | Nate Sesti <sestinj@gmail.com> | 2023-07-16 16:25:02 -0700 |
| commit | 4c3a25a1c8938f8132233e021c74d98eb19d7ddd (patch) | |
| tree | 8460e5703f224e7ef5c2c7eca6b470f338b93e1e /extension/server | |
| parent | 3ded151331933c9a1352cc46c3cc67c5733d1c86 (diff) | |
| parent | a4a815628f702af806603015ec6805edd151328b (diff) | |
| download | sncontinue-4c3a25a1c8938f8132233e021c74d98eb19d7ddd.tar.gz sncontinue-4c3a25a1c8938f8132233e021c74d98eb19d7ddd.tar.bz2 sncontinue-4c3a25a1c8938f8132233e021c74d98eb19d7ddd.zip | |
Merge branch 'main' into ggml-server
Diffstat (limited to 'extension/server')
| -rw-r--r-- | extension/server/.gitignore | 1 | ||||
| -rw-r--r-- | extension/server/README.md | 3 | ||||
| -rw-r--r-- | extension/server/requirements.txt | 1 | ||||
| -rw-r--r-- | extension/server/run_continue_server.py | 4 |
4 files changed, 9 insertions, 0 deletions
diff --git a/extension/server/.gitignore b/extension/server/.gitignore new file mode 100644 index 00000000..0b6e11dd --- /dev/null +++ b/extension/server/.gitignore @@ -0,0 +1 @@ +**.whl
\ No newline at end of file diff --git a/extension/server/README.md b/extension/server/README.md new file mode 100644 index 00000000..56208b5a --- /dev/null +++ b/extension/server/README.md @@ -0,0 +1,3 @@ +# server + +These are the files that get copied over to `~/.continue/server` in order to create the Python environment and start the Continue server. diff --git a/extension/server/requirements.txt b/extension/server/requirements.txt new file mode 100644 index 00000000..eb1f3738 --- /dev/null +++ b/extension/server/requirements.txt @@ -0,0 +1 @@ +./continuedev-0.1.2-py3-none-any.whl
\ No newline at end of file diff --git a/extension/server/run_continue_server.py b/extension/server/run_continue_server.py new file mode 100644 index 00000000..089cc54d --- /dev/null +++ b/extension/server/run_continue_server.py @@ -0,0 +1,4 @@ +from continuedev.server.main import run_server + +if __name__ == "__main__": + run_server() |