Task

Get and set the modification time of a file.




$ include "seed7_05.s7i";
  include "osfiles.s7i";
  include "time.s7i";
 
const proc: main is func
  local
    var time: modificationTime is time.value;
  begin
    modificationTime := getMTime("data.txt");
    setMTime("data.txt", modificationTime);
  end func;