2 Commits

Author	SHA1	Message	Date
Romain Vimont	a919944372	Use _exit() instead of exit() in child process ... exit() should not be called from within a child process, since it would call functions registered with atexit(), and flush stdio streams. Use _exit() instead.	2018-01-04 10:22:09 +01:00
Romain Vimont	54d9148a36	Initial commit ... Start a new clean history from here.	2017-12-12 15:25:15 +01:00