|Anonymous | Login | Signup for a new account||2017-09-23 09:16 CEST|
|Main | My View | View Issues | Change Log | Roadmap|
|View Issue Details|
|ID||Project||Category||View Status||Date Submitted||Last Update|
|0007626||OCaml||runtime system and C interface||public||2017-09-13 23:07||2017-09-14 17:40|
|Target Version||Fixed in Version|
|Summary||0007626: Sys.executable_name on Linux does not use /proc/self/exe if full path exceeds 256 characters|
|Description||On Linux, Sys.executable_name depends on /proc/self/exe if the symlink can be read, and otherwise falls back on argv. The buffer used to read /proc/self/exe is 256 characters, so for long paths this always fails.|
|Tags||No tags attached.|
I believe that this was already fixed by Xavier Leroy in the commit
which was included in 4.05.
Could you try to reproduce the issue using 4.05.0?
|I tried this with 4.05.0 and while that patch is included, Sys.executable_name still does not match /proc/self/exe for long paths. I still get the argv form of the path.|
There has been recent activity on the PR that led to the commit
pointed by gasche:
It might be worthwhile to test with trunk.
|2017-09-13 23:07||ceastlund||New Issue|
|2017-09-14 09:02||gasche||Note Added: 0018253|
|2017-09-14 09:02||gasche||Assigned To||=> gasche|
|2017-09-14 09:02||gasche||Status||new => feedback|
|2017-09-14 16:38||ceastlund||Note Added: 0018254|
|2017-09-14 16:38||ceastlund||Status||feedback => assigned|
|2017-09-14 17:40||xclerc||Note Added: 0018255|
|Copyright © 2000 - 2011 MantisBT Group|