Commit 2137326eda6fbbd41a3eb94903cbe8d49f125335

Patrick Monnerat 2015-04-20T15:00:58

xmlcatalog: flush stdout before interactive shell input.