On 03.01.2012, at 19:54, Fabio Erculiani wrote:

> Yeah, debugging.
> 
> Moreover we have this scenario:
> 
> $ /bin/cat /proc/self/stat
> 32297 (cat) ......
> 
> I guess we should use basename() anyway...?

argv[0] can be an arbitrary value passed in through execve. In qemu's 
linux-user emulation you can even override it manually with the -argv0 command 
line option. So no, it shouldn't be basename of the file name.


Alex


Reply via email to