version 1.10, 2019/03/03 11:01:15 |
version 1.11, 2019/03/03 13:02:11 |
|
|
/* $Id$ */ |
/* $Id$ */ |
/* |
/* |
* Copyright (c) 2017 Michael Stapelberg <stapelberg@debian.org> |
* Copyright (c) 2017 Michael Stapelberg <stapelberg@debian.org> |
* Copyright (c) 2017 Ingo Schwarze <schwarze@openbsd.org> |
* Copyright (c) 2017, 2019 Ingo Schwarze <schwarze@openbsd.org> |
* |
* |
* Permission to use, copy, modify, and distribute this software for any |
* Permission to use, copy, modify, and distribute this software for any |
* purpose with or without fee is hereby granted, provided that the above |
* purpose with or without fee is hereby granted, provided that the above |
Line 213 main(int argc, char *argv[]) |
|
Line 213 main(int argc, char *argv[]) |
|
|
|
process(parser, outtype, formatter); |
process(parser, outtype, formatter); |
mparse_reset(parser); |
mparse_reset(parser); |
|
if (outtype == OUTT_HTML) |
|
html_reset(formatter); |
|
|
fflush(stdout); |
fflush(stdout); |
fflush(stderr); |
fflush(stderr); |