diff options
author | Nate Sesti <33237525+sestinj@users.noreply.github.com> | 2023-07-10 23:36:46 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2023-07-10 23:36:46 -0700 |
commit | 3dc307bc9add75fba1f66c51218f0c32637e21fe (patch) | |
tree | 67a28ed86a73b3f89f75b60ca6e03d959d550cfc /extension/server | |
parent | a8795b929bb18f623a64fedcdbb83a790266943b (diff) | |
parent | 10f5c2beb34e755c1fedf637186bace6b030e44d (diff) | |
download | sncontinue-3dc307bc9add75fba1f66c51218f0c32637e21fe.tar.gz sncontinue-3dc307bc9add75fba1f66c51218f0c32637e21fe.tar.bz2 sncontinue-3dc307bc9add75fba1f66c51218f0c32637e21fe.zip |
Merge pull request #233 from continuedev/faster-load
Faster load
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() |