Viewing all changes in revision 445.
- Committer: Jean-Vincent Loddo
- Date: 2017-05-15 18:31:48 UTC
- Revision ID: loddo@lipn.univ-paris13.fr-20170515183148-wghqo7iv8cfns0ix
Minor bug fixed in Linux.stat. Now the code is able to parse also 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
