diff options
| author | ankitjavalkar | 2020-05-27 21:52:07 +0530 |
|---|---|---|
| committer | GitHub | 2020-05-27 21:52:07 +0530 |
| commit | 73dc8f6820c6c86fd8e70a68456ca2e541801bde (patch) | |
| tree | 8b3399aace86cddc19818dece0040420acc49da5 /yaksh/pipeline/user.py | |
| parent | 372a7c56adaeabee374f9fd9268f1ebf0e082265 (diff) | |
| parent | b3b450f7c575f9cf8ed9a8b12e495f4be0adc143 (diff) | |
| download | online_test-73dc8f6820c6c86fd8e70a68456ca2e541801bde.tar.gz online_test-73dc8f6820c6c86fd8e70a68456ca2e541801bde.tar.bz2 online_test-73dc8f6820c6c86fd8e70a68456ca2e541801bde.zip | |
Merge pull request #715 from ankitjavalkar/fix-timer-bug
Check if attempts are allowed and spare time is available before answer is checked
Diffstat (limited to 'yaksh/pipeline/user.py')
0 files changed, 0 insertions, 0 deletions