blob: f9f6deca216159651aeb2680d0c43ee48e9ab7fb (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
diff -up workrave-1.9.0/backend/src/GlibIniConfigurator.cc.gcc44 workrave-1.9.0/backend/src/GlibIniConfigurator.cc
--- workrave-1.9.0/backend/src/GlibIniConfigurator.cc.gcc44 2008-03-07 22:38:26.000000000 +0100
+++ workrave-1.9.0/backend/src/GlibIniConfigurator.cc 2009-02-25 23:40:01.000000000 +0100
@@ -248,7 +248,7 @@ void
GlibIniConfigurator::split_key(const string &key, string &group, string &out_key) const
{
const char *s = key.c_str();
- char *slash = strchr(s, '/');
+ const char *slash = strchr(s, '/');
if (slash)
{
group = key.substr(0, slash-s);
|