[munin-users] plugin proc returns many errors: bug to report ?

[DoubleHP <dou...@do...>]

I am looking at what is eating my disk space.

I found this:
tail -n 1000 /var/log/munin/munin-node.log
[...]
2017/01/03-15:25:27 [1087] Error output from proc:
2017/01/03-15:25:27 [1087]      cat: /proc/555/io: Permission denied
2017/01/03-15:25:27 [1087]      cat: /proc/557/io: Permission denied
2017/01/03-15:25:27 [1087]      grep: /proc/2403/stat: No such file or
directory
2017/01/03-15:25:27 [1087]      cat: /proc/660/io: Permission denied
2017/01/03-15:25:27 [1087]      cat: /proc/661/io: Permission denied
2017/01/03-15:25:27 [1087]      cat: /proc/21516/io: Permission denied
2017/01/03-15:25:27 [1087]      cat: /proc/21518/io: Permission denied
2017/01/03-15:25:27 [1087]      cat: /proc/21519/io: Permission denied
2017/01/03-15:25:27 [1087]      cat: /proc/21678/io: Permission denied
2017/01/03-15:25:27 [1087]      cat: /proc/15183/io: Permission denied
2017/01/03-15:25:27 [1087]      cat: /proc/19748/io: Permission denied
2017/01/03-15:25:27 [1087]      cat: /proc/22314/io: Permission denied
2017/01/03-15:25:27 [1087]      cat: /proc/29051/io: Permission denied
2017/01/03-15:25:27 [1087]      cat: /proc/14049/io: Permission denied
2017/01/03-15:25:27 [1087]      cat: /proc/14093/io: Permission denied
2017/01/03-15:25:27 [1087]      cat: /proc/21883/io: Permission denied
2017/01/03-15:25:27 [1087]      cat: /proc/7414/io: Permission denied
2017/01/03-15:25:27 [1087]      cat: /proc/13717/io: Permission denied
2017/01/03-15:25:27 [1087]      cat: /proc/14196/io: Permission denied
2017/01/03-15:25:27 [1087]      cat: /proc/14238/io: Permission denied
2017/01/03-15:25:27 [1087]      grep: /proc/2648/stat: No such file or
directory
2017/01/03-15:25:27 [1087]      grep: /proc/2653/stat: No such file or
directory
2017/01/03-15:25:27 [1087]      grep: /proc/2654/stat: No such file or
directory
2017/01/03-15:25:27 [1087]      grep: /proc/2655/stat: No such file or
directory
2017/01/03-15:25:27 [1087]      grep: /proc/2656/stat: No such file or
directory
2017/01/03-15:25:27 [1087]      cat: /proc/14255/io: Permission denied
2017/01/03-15:25:27 [1087]      cat: /proc/21608/io: Permission denied
[...]

Permission denied: Should the plugin be using user root (documentation
error), or should the plugin not try to open the io file (code error) ?

no such file: report a code error ?

This may look like a small drop; but add 1000 other small things, and you
really eat huge space ...

Report bug to GitHub ?

-- 
 >o_/ DEMAINE Benoît-Pierre (aka DoubleHP) http://benoit.demaine.info/
If computing were an exact science, IT engineers would'nt have work \_o<

"So all that's left, Is the proof that love's not only blind but deaf."
(FAKE TALES OF SAN FRANCISCO, Arctic Monkeys)