diff options
| author | Prabhu Ramachandran | 2017-08-04 16:24:38 +0530 |
|---|---|---|
| committer | Prabhu Ramachandran | 2017-08-04 16:24:38 +0530 |
| commit | af06b0d65c1b3ae1f04be1d18c155677e7bf7922 (patch) | |
| tree | d081a14e13592d51930fb0a593c9b04faa4663f8 /yaksh/settings.py | |
| parent | 08eaf36d6345212a580a2ccddcdfae7bea85191d (diff) | |
| download | online_test-af06b0d65c1b3ae1f04be1d18c155677e7bf7922.tar.gz online_test-af06b0d65c1b3ae1f04be1d18c155677e7bf7922.tar.bz2 online_test-af06b0d65c1b3ae1f04be1d18c155677e7bf7922.zip | |
Completely rewrite the server pool.
It is now much simpler. There are no xmlrpc servers anymore instead the
tornado server takes a post request to submit a job asynchronously and
the results are added to a shared dictionary. A get request can be used
to check the status of a submitted job. This allows the submission and
checking of code to be completely async and will make the application a
lot more scalable.
Diffstat (limited to 'yaksh/settings.py')
| -rw-r--r-- | yaksh/settings.py | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/yaksh/settings.py b/yaksh/settings.py index 72f9fda..d500d93 100644 --- a/yaksh/settings.py +++ b/yaksh/settings.py @@ -1,9 +1,9 @@ """ settings for yaksh app. """ -# The ports the code server should run on. This will run one separate -# server for each port listed in the following list. -SERVER_PORTS = [8001] # range(8001, 8026) + +# The number of code server processes to run.. +N_CODE_SERVERS = 5 # The server pool port. This is the server which returns available server # ports so as to minimize load. This is some random number where no other |