Ligne 973
string xcasroot_dir(const char * arg){
string xcasroot;
if (getenv("XCAS_ROOT")){
xcasroot=string(getenv("XCAS_ROOT"));
if (xcasroot[xcasroot.size()-1]!='/')
xcasroot+='/';
}
Rien n'empêche la variable d'environnement XCAS_ROOT de valoir "".
Auquel cas xcasroot[xcasroot.size()-1] est non défini.
On peut remplacer par
string xcasroot_dir(const char * arg){
string xcasroot(getenv("XCAS_ROOT"));
if ([xcasroot.size()>0){
if (xcasroot[xcasroot.size()-1]!='/')
xcasroot+='/';
}
On pourrait aussi rajouter un test de consistance...
petite erreur dans help.cc
Modérateur : xcasadmin