Changeset 11038 for trunk/FACT++/src

Timestamp:

06/16/11 19:40:34 (13 years ago)

Author:

tbretz

Message:

Make sure the pointer passed to rl_readline_name is kept valid.

File:

• trunk/FACT++/src/Readline.cc (modified) (2 diffs)

trunk/FACT++/src/Readline.cc

@@ -62 +62 @@
 #include <readline/history.h>
 
+#include <boost/filesystem.hpp>
+
 #include "tools.h"
 
@@ -106 +108 @@
 
     // Program name
-    rl_readline_name = prgname;
+    static const string fname = boost::filesystem::path(prgname).filename();
+    rl_readline_name = fname.c_str();
 
     // Compile filename for history file