/[fenfire]/fenfire/org/fenfire/bin/fenpdf10.py
ViewVC logotype

Diff of /fenfire/org/fenfire/bin/fenpdf10.py

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

revision 1.39 by tjl, Thu Aug 14 10:55:38 2003 UTC revision 1.40 by tjl, Thu Aug 14 11:41:48 2003 UTC
# Line 24  Line 24 
24    
25  # Input: in Java properties:  # Input: in Java properties:
26  #  #
27  # fenpdf.file : The file name  # fenpdf.file : The file name. Default: myFenfire/mygraph.rdf
28  #  #
29  # fenpdf.demo : If the file does not exist, FenPDF creates a new space.  # fenpdf.demo : If the file does not exist, FenPDF creates a new space.
30  #               If this value is nonzero, it creates a small demo space,  #               If this value is nonzero, it creates a small demo space,
31  #               otherwise an empty space.  #               otherwise an empty space. Default: empty
32    #
33    # fenpdf.pool : The storm pool directory to use. Default: myFenfire/
34    
35  dbg = 0  dbg = 0
36    
# Line 111  DIR = 'myFenfire/' Line 113  DIR = 'myFenfire/'
113  if FILE == None:  if FILE == None:
114      FILE = DIR+'mygraph.rdf'      FILE = DIR+'mygraph.rdf'
115    
116    POOLDIR = java.lang.System.getProperty("fenpdf.pool", DIR)
117    
118    os.system('mkdir -p '+POOLDIR)
119    
120  os.system('mkdir -p '+DIR)  pool = storm.impl.DirPool(java.io.File(POOLDIR), java.util.HashSet())
 pool = storm.impl.DirPool(java.io.File(DIR), java.util.HashSet())  
121  myalph = alph.impl.StormAlph(pool)  myalph = alph.impl.StormAlph(pool)
122    
123    

Legend:
Removed from v.1.39  
changed lines
  Added in v.1.40

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