Add output to stdout as well.

This commit is contained in:
Dominik Pantůček 2023-06-26 19:38:21 +02:00
parent 899f654b89
commit a2c7095711
2 changed files with 6 additions and 4 deletions

View file

@ -40,7 +40,8 @@
configuration
util-parser
util-csv
logging)
logging
util-stdout)
;; Special CSV-like parser
(define auth-line-parser
@ -74,6 +75,7 @@
exn
(let ()
(log-warning "DokuWiki: cannot open ~A" fname)
(stdout-print "DokuWiki: cannot open ~A" fname)
'())
(with-input-from-file fname
parse-dokuwiki-users-auth)))