diff options
| author | Timotej Lazar <timotej.lazar@fri.uni-lj.si> | 2016-02-10 18:02:28 +0100 |
|---|---|---|
| committer | Timotej Lazar <timotej.lazar@fri.uni-lj.si> | 2016-02-10 18:02:28 +0100 |
| commit | b0a64cfb0e2c556aeb22bef25d34b0aa0d9f78b8 (patch) | |
| tree | dafc948daa5e40dc35c7ade7825bbf0fc2cb838e /server/user_session.py | |
| parent | fb0928d87e099bfe27c35808731975f52787ae4d (diff) | |
monkey: modify cutoff for adding candidate programs to the queue
Queue size is not a problem since the switch to AST-based edits.
Diffstat (limited to 'server/user_session.py')
0 files changed, 0 insertions, 0 deletions