Viewing all changes in revision 451.
- Committer: Jean-Vincent Loddo
- Date: 2017-06-08 13:54:53 UTC
- Revision ID: loddo@lipn.univ-paris13.fr-20170608135453-6mfc19ogxeu52fuj
Minor bug fixed in Linux.stat (revno 445 was uncompleted). Now also easy_stat() is able to parse process name within parentheses in the 2-th field line of files /proc/PID/stat.
- files modified:
- SHELL/linux.ml
expand all
collapse all
added
removed
