/[navidoc]/navidoc/navidoc/directives/mp.py
ViewVC logotype

Diff of /navidoc/navidoc/directives/mp.py

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 1.9 by humppake, Wed Jun 4 12:19:18 2003 UTC revision 1.10 by humppake, Tue Jun 17 12:04:04 2003 UTC
# Line 190  def add_refer(diagram, to_top = 0): Line 190  def add_refer(diagram, to_top = 0):
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")
# Line 200  def add_refer(diagram, to_top = 0): Line 201  def add_refer(diagram, to_top = 0):
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")

Legend:
Removed from v.1.9  
changed lines
  Added in v.1.10

savannah-hackers-public@gnu.org
ViewVC Help
Powered by ViewVC 1.1.26