192 |
new_prefix = name+"_"+path.replace("/","_") |
new_prefix = name+"_"+path.replace("/","_") |
193 |
if new_prefix.endswith(".gen"): |
if new_prefix.endswith(".gen"): |
194 |
new_prefix = new_prefix[0:len(new_prefix)-4] |
new_prefix = new_prefix[0:len(new_prefix)-4] |
195 |
create_diagram(old_prefix, new_prefix, 1.0) |
create_diagram(old_prefix, new_prefix, 0.5) |
196 |
|
|
197 |
#Cut&Pastes imagemap into html |
#Cut&Pastes imagemap into html |
198 |
imgmap = open(umltool.settings['tmpdir']+"/"+new_prefix+".gen.html").read() |
imgmap = open(umltool.settings['tmpdir']+"/"+new_prefix+".gen.html").read() |