void record_write_input (const zchar *buf, zchar key)
{
zchar c;
while ((c = *buf++) != 0)
record_char (c);
record_char (key);
if (fputc ('\n', rfp) == EOF)
record_close ();
}/* record_write_input */
void Processor::record_write_input(const zchar *buf, zchar key) {
zchar c;
while ((c = *buf++) != 0)
record_char(c);
record_write_key(key);
}
void record_write_key (zchar key)
{
record_char (key);
if (fputc ('\n', rfp) == EOF)
record_close ();
}/* record_write_key */
int main(int argc, char **argv) {
char c = 0;
record_init();
while (c != '.') {
print_prompt();
c = read_char();
eat_extra_input();
if (c != '.') {
record_char(c);
echo_char(c);
}
}
record_print();
return 0;
}
void Processor::record_write_key(zchar key) {
record_char(key);
rfp->putChar('\n');
}
