13665bffe8
There is no good way to recover from this scenario, and from past experience, using the user's name in the session directory (as opposed to the uid) is very helpful when things go wrong. So print a help message when this happens (it is extremely rare, but has happened at least once now) and return an error. cmr:v1.7.3,reviewer=jsquyres cmr:v1.6.5,reviewer=jsquyres This commit was SVN r28658. |
||
---|---|---|
.. | ||
etc | ||
include | ||
mca | ||
orted | ||
runtime | ||
test | ||
tools | ||
util | ||
Doxyfile | ||
Makefile.am |