diff options
| author | Wiimm <wiimm@wiimm.de> | 2022-12-25 08:25:56 +0100 |
|---|---|---|
| committer | Wiimm <wiimm@wiimm.de> | 2022-12-25 08:25:56 +0100 |
| commit | 7d8344f3637d59b982c2ca0b1d8fd2889ec5d4a6 (patch) | |
| tree | 19b070a98ba1d659b64c19e3402038bc76e11b47 /project/dclib/dclib-file.h | |
| parent | 0e143e393d99ebb00cb14ffaa4c50efeec3729f1 (diff) | |
SZS v2.32a
Diffstat (limited to '')
| -rw-r--r-- | project/dclib/dclib-file.h | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/project/dclib/dclib-file.h b/project/dclib/dclib-file.h index 010e6b0..9d37f0e 100644 --- a/project/dclib/dclib-file.h +++ b/project/dclib/dclib-file.h @@ -94,6 +94,9 @@ int PrintLogFile ( LogFile_t *lf, ccp format, ... ) exmem_t SearchToolByPATH ( ccp tool ); exmem_t SearchToolByList ( ccp * list, int max ); // max<0: NULL is list terminator +extern FILE *pager_file; // NULL or pipe to pager +extern FILE *pager_stdout; // NULL output of pager + FILE * OpenPipeToPager(); void ClosePagerFile(); bool StdoutToPager(); |