diff options
| author | Prabhu Ramachandran | 2017-09-15 16:31:50 +0530 |
|---|---|---|
| committer | GitHub | 2017-09-15 16:31:50 +0530 |
| commit | 7419e3b3f4e14f86f21f9464843f9263638fe7a2 (patch) | |
| tree | a046617f76879ea5c056ae2c8f39b0a97c8a18a7 /yaksh/settings.py | |
| parent | e3a43662d2aae8688039671d3de532e48fbdfda9 (diff) | |
| parent | f65102cf4b6a117a3ff86971ad9c1ddd3362c9fd (diff) | |
| download | online_test-7419e3b3f4e14f86f21f9464843f9263638fe7a2.tar.gz online_test-7419e3b3f4e14f86f21f9464843f9263638fe7a2.tar.bz2 online_test-7419e3b3f4e14f86f21f9464843f9263638fe7a2.zip | |
Merge pull request #326 from FOSSEE/improve-code-server
Improve code server
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 |