cms-dev/cms — pull request #371 by giomasce (2014-11-22 14:01:42+00:00)
Title: Fix untrusted input

During the execution of a task of Batch type, the contestant program could tamper with the input file (usually input.txt). We check it out again from the database to be sure.