equal
deleted
inserted
replaced
56 if( nodemap_storage.find(name) == nodemap_storage.end() ) |
56 if( nodemap_storage.find(name) == nodemap_storage.end() ) |
57 { |
57 { |
58 nodemap_storage[name]=nodemap; |
58 nodemap_storage[name]=nodemap; |
59 // set the maps default value |
59 // set the maps default value |
60 nodemap_default[name] = default_value; |
60 nodemap_default[name] = default_value; |
|
61 |
|
62 //announce changement in maps |
|
63 signal_node_map.emit(name); |
61 return 0; |
64 return 0; |
62 } |
65 } |
63 return 1; |
66 return 1; |
64 } |
67 } |
65 |
68 |
124 if( edgemap_storage.find(name) == edgemap_storage.end() ) |
127 if( edgemap_storage.find(name) == edgemap_storage.end() ) |
125 { |
128 { |
126 edgemap_storage[name]=edgemap; |
129 edgemap_storage[name]=edgemap; |
127 // set the maps default value |
130 // set the maps default value |
128 edgemap_default[name] = default_value; |
131 edgemap_default[name] = default_value; |
|
132 |
|
133 //announce changement in maps |
|
134 signal_edge_map.emit(name); |
129 return 0; |
135 return 0; |
130 } |
136 } |
131 return 1; |
137 return 1; |
132 } |
138 } |
133 |
139 |