Revision 13965151
ID | 139651511112599c0f0a819f7e250e6a61bf062c |
Get unbuffered input in helper-monitor.py
Change sys.stdin.readline with os.read
Files
- added
- modified
- copied
- renamed
- deleted
ID | 139651511112599c0f0a819f7e250e6a61bf062c |
Added by Nikos Skalkotos almost 12 years ago
Get unbuffered input in helper-monitor.py
Change sys.stdin.readline with os.read