-
Notifications
You must be signed in to change notification settings - Fork 0
/
local.properties.template
92 lines (66 loc) · 3.09 KB
/
local.properties.template
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
#
# Also look at the protege.properties file in the war directory
# A sample showing what some of the important properties mean can be
# found in the etc directory.
#
# ============= COMPULSORY PROPERTIES =====================
# Directory where you have your Protege installation. Compulsory, if not set as a
# environment variable.
#
# protege.home=/usr/local/protege
#
# The directory where you have installed gwt. Compulsory.
gwt.dir=/usr/local/gwt
# The location of the gwt-dev.jar. No need to change.
gwt.dev.jar=${gwt.dir}/gwt-dev.jar
# The full name of the module to compile. Compulsory (usually you would not change this)
gwt.xml.target=edu.stanford.bmir.protege.web.WebProtege
# gwt.xml.target=edu.stanford.bmir.protege.web.WebProtege_dev
# gwt.xml.target=edu.stanford.bmir.protege.web.iCat
# gwt.xml.target=edu.stanford.bmir.protege.web.iCat_dev
# The full name of the authentication module to compile. Compulsory (usually you would not change this)
gwt.xml.target.authenticate=edu.stanford.bmir.protege.web.authenticate
# gwt.xml.target.authenticate=edu.stanford.bmir.protege.web.authenticate_dev
# The name of the war file to generate. Compulsory.
war.name=webprotege
# ============= OPTIONAL PROPERTIES =====================
# If you want to override some of the files from the war directory
# (e.g. for production use, you may customize protege.properties, etc.)
# then add those files in the alt.war.template folder. Optional.
#
#alt.war.template=./alt.war
#
# Not a common option. If you use apache with tomcat and want
# to deploy WebProtege in root (e.g. http://myproject.mydomain.edu)
# then set this prop to true. This will copy the generated rpc files in
# the root of war. Optional.
# deploy.in.root=true
# Only needed if deploy.in.root=true. Should correspond to the module name. Optional.
# gwt.module=webprotege
# ============= OPTIONAL PROPERTIES IF YOU RUN HOSTED MODE =====================
===== JETTY PROPERTIES IF YOU RUN HOSTED MODE WITH EXTERNAL JETTY SERVER =====
# Distribution folder of jetty
# jetty.home=/Users/ttania/work/tools/jetty-distribution-9.4.9.v20180320
# ===== OTHER PROPERTIES IF YOU RUN HOSTED MODE =====
# The name of the html file to show. Only needed if you run hosted most from the build script.
gwt.html.target=WebProtege.html
# When running with external Jetty, use this url:
# gwt.html.target=http://127.0.0.1:8080/WebProtege.html
#
# osx users must use the second version of the
# extra.hosted.jvm.arg below. For other developers,
# the default is a harmless and even recommended setting.
# Only needed if running hosted mode from build.xml.
hosted.memory=1000M
extra.hosted.jvm.arg=-Xms${hosted.memory}
# extra.hosted.jvm.arg=-XstartOnFirstThread
# Only needed if running Protege server from build.xml
#server.memory=1500M
#server.rmi.port=1099
#server.port=5200
# can set custom server dir and metaproject
# server dir is different from protege.dir and allows
# meta project to use relative paths from server.dir
# These both default to the examples directory.
#server.dir=/home/tredmond/Shared
#server.metaproject=/home/tredmond/Shared/ontologies/metaproject-nci.pprj