Re: [lng-odp] [API-NEXT PATCHv8 02/15] linux-gen: init: removing possible obsolete ODP files at startup

2016-11-24 Thread Christophe Milard
On 24 November 2016 at 15:36, Maxim Uvarov wrote: > On 11/24/16 11:24, Christophe Milard wrote: >> >> When an ODP program is killed, some odp files may remain in /tmp and >> the huge page mount point. As signal KILL cannot be caught, there is not >> much one can do to prevent that. >> But when an

Re: [lng-odp] [API-NEXT PATCHv8 02/15] linux-gen: init: removing possible obsolete ODP files at startup

2016-11-24 Thread Maxim Uvarov
On 11/24/16 11:24, Christophe Milard wrote: When an ODP program is killed, some odp files may remain in /tmp and the huge page mount point. As signal KILL cannot be caught, there is not much one can do to prevent that. But when an new odp session is started, all files prefixed with the opd prefix

[lng-odp] [API-NEXT PATCHv8 02/15] linux-gen: init: removing possible obsolete ODP files at startup

2016-11-23 Thread Christophe Milard
When an ODP program is killed, some odp files may remain in /tmp and the huge page mount point. As signal KILL cannot be caught, there is not much one can do to prevent that. But when an new odp session is started, all files prefixed with the opd prefix ("odp--") can be safely removed as the PID is