Docjar: A Java Source and Docuemnt Enginecom.*    java.*    javax.*    org.*    all    new    plug-in

Quick Search    Search Deep

Source code: org/bdgp/apps/dagedit/Launcher.java


1   package org.bdgp.apps.dagedit;
2   
3   import java.util.*;
4   import java.io.*;
5   
6   public class Launcher {
7   
8       public static void main(String [] args) throws Exception {
9     File prefsFile = new File(System.getProperty("user.home") +
10            "/.dageditor");
11    Properties p = new Properties();
12    String memsetting = "";
13    try {
14        p.load(new FileInputStream(prefsFile));
15        String num = p.getProperty("memory");
16        if (num != null)
17      memsetting = "-mx"+num;
18    } catch (IOException e) {
19        // do nothing
20    }
21    Process pr = Runtime.getRuntime().
22        exec("java "+memsetting+" -jar runtime/dagedit.jar");
23    System.exit(0);
24      }
25  }