#
# customize any properties for your environment
#
ode.start.args=-v -console
ode.javaopts.env=

ode.default.http.port=8080

ode.home=../../bin
#
# customize any properties for your environment
#
ode.start.args=-v -console
ode.javaopts.env=

ode.default.http.port=8080
ode.http.port=8080

ode.home=../../bin
Fix default port property name
Fix default port property name


git-svn-id: aa171c635fe092da43bc3212e891e07172936fe5@446661 13f79535-47bb-0310-9956-ffa450edef68
