Hello,
We are working on a product and we would like to use TPTP 4.3.0 in
order to benchmark our product.
We use JavaWebStart to launch our application. But, we have a problem :
we don't know how to set the runpiAgent:server parameter.
We tried to include this parameter in our JNLP file without any succes.
Have you a solution or a sample JNLP file ?
Thanks
Stephane
_______________________________________________
tptp-tracing-profiling-tools-dev mailing list
tptp-tracing-profiling-tools-dev@eclipse.org
https://dev.eclipse.org/mailman/listinfo/tptp-tracing-profiling-tools-dev
