Salome HOME
projects
/
tools
/
sat.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Factorisation des jobs. Voir https://codev-tuleap.cea.fr/plugins/tracker/?aid=8543...
[tools/sat.git]
/
src
/
pyconf.py
diff --git
a/src/pyconf.py
b/src/pyconf.py
index 713e3fe3e3e1e19d1a499317f5fcf193f8793eb1..de9af0c89c0eeaa4249b73c94c40b4b2f862e3ae 100644
(file)
--- a/
src/pyconf.py
+++ b/
src/pyconf.py
@@
-1570,6
+1570,12
@@
def overwriteMergeResolve(map1, map2, key):
rv = "overwrite"
return rv
rv = "overwrite"
return rv
+def deepCopyMapping(inMapping):
+ res = Mapping()
+ for element in inMapping:
+ res[element] = inMapping[element]
+ return res
+
class ConfigMerger(object):
"""
This class is used for merging two configurations. If a key exists in the
class ConfigMerger(object):
"""
This class is used for merging two configurations. If a key exists in the