changeset 36967 | d041d2e80712 |
parent 14786 | a9f61e0cbe61 |
child 38557 | 5c485e1ea6fa |
36966:4209c9e19c45 | 36967:d041d2e80712 |
---|---|
64 echo "};" >> ${POLICY} |
64 echo "};" >> ${POLICY} |
65 |
65 |
66 np="-Dsun.net.spi.nameservice.provider.1=dns,sun" |
66 np="-Dsun.net.spi.nameservice.provider.1=dns,sun" |
67 sm="-Djava.security.manager -Djava.security.policy=${POLICY}" |
67 sm="-Djava.security.manager -Djava.security.policy=${POLICY}" |
68 |
68 |
69 go "$np" "$HOST" |
69 go "" "$HOST" |
70 go "$np $sm" "$HOST" |
70 go "$sm" "$HOST" |
71 |
71 |
72 |
72 |
73 # |
73 # |
74 # Results |
74 # Results |
75 # |
75 # |