return;
/* Inform pager that we are done */
-#ifdef __GLIBC__
- stdout = safe_fclose(stdout);
- stderr = safe_fclose(stderr);
-#else
- safe_fclose(stdout);
- safe_fclose(stderr);
-#endif // __GLIBC__
(void) kill(pager_pid, SIGCONT);
(void) wait_for_terminate(pager_pid, NULL);