<br />
<b>Warning</b>:  session_start(): open(/var/lib/php/sessions/sess_sc7kadi5v0afpnrm4n6hl6qt69, 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

static JButton btn;
static Flag flag; // stop flag

static AudioFormat format;

p {
  format = javaSound_monoCDQuality°;
  swing {
    showControls(jcenteredline(btn = jbutton("Start", f btn)));
  }
}

svoid btn {
  if (flag == null || flag.isUp()) start(); else stop();
}

svoid start ctex {
  setText(btn, "Stop");
  flag = new Flag;
  final File wavFile = countTillNewFile(prepareProgramFile("recorded-"), ".wav");
  thread {
    captureAudioToWAV(format, wavFile, flag);
    print(wavFile);
    print("Actually done. " + l(wavFile) + " bytes");
  }
}

svoid stop {
  setText(btn, "Start");
  flag.raise();
}