Make file selection mandatory in the batch job webpage (#481)

665459f6 · Mihai · fd58a127 · 665459f6
Commit 665459f6 authored Aug 20, 2019 by Mihai
--- a/mutalyzer/website/templates/batch-jobs.html
+++ b/mutalyzer/website/templates/batch-jobs.html
@@ -46,7 +46,7 @@

    <div class="form-group">
      <label for="file">File</label>
-      <input type="file" name="file" id="file">
+      <input type="file" name="file" id="file" required>
    </div>
  </div>