<br />
<b>Warning</b>:  session_start(): open(/var/lib/php/sessions/sess_4e6rhku8lb64c42tmg67mfgkqp, O_RDWR) failed: No space left on device (28) in <b>/var/www/tb-usercake/models/config.php</b> on line <b>51</b><br />
<br />
<b>Warning</b>:  session_start(): Failed to read session data: files (path: /var/lib/php/sessions) in <b>/var/www/tb-usercake/models/config.php</b> on line <b>51</b><br />
!7

module RecordGIFSpike > DynSingleFunctionWithPrintLog {
  void doIt ctex {
    Rect r = rect(screenWidth()/2-100, 0, 200, 100);
    GifSequenceWriter writer = null;
    long time = sysNow();
    int delay = 200;
    temp ImageOutputStream out = fileImageOutputStream(programFile("test.gif"));
    for i to 10: {
      BufferedImage img = shootScreenArea_possiblyBroken(r);
      if (writer == null)
        writer = GifSequenceWriter(out, img.getType(), delay, true);
      writer.writeToSequence(img);
      print("Wrote image " + (i+1));
      sleepUntilSys(time+delay*(i+1));
    }
    close(writer);
  }
}