190 |
refer = slashify(config.working_directory)+config.output_filename |
refer = slashify(config.working_directory)+config.output_filename |
191 |
refers_filepath = slashify(config.mp_directory)+diagram+config.midfix+".refers" |
refers_filepath = slashify(config.mp_directory)+diagram+config.midfix+".refers" |
192 |
if (os.path.isfile(refers_filepath)): |
if (os.path.isfile(refers_filepath)): |
193 |
old_refers = open(refers_filepath, "r").read() |
old_refers_file = open(refers_filepath, "r") |
194 |
|
old_refers = old_refers_file.read() |
195 |
if old_refers.find(config.output_filename) == -1: |
if old_refers.find(config.output_filename) == -1: |
196 |
if to_top: |
if to_top: |
197 |
refers = open(refers_filepath, "w") |
refers = open(refers_filepath, "w") |
201 |
refers = open(refers_filepath, "a") |
refers = open(refers_filepath, "a") |
202 |
refers.write(refer+"\n") |
refers.write(refer+"\n") |
203 |
refers.close() |
refers.close() |
204 |
|
old_refers_file.close() |
205 |
else: |
else: |
206 |
refers = open(refers_filepath, "a") |
refers = open(refers_filepath, "a") |
207 |
refers.write(refer+"\n") |
refers.write(refer+"\n") |