security/shibboleth-idp/files/jetty-pid.xml.in


1
2
3
4
5
6
7
8

<?xml version="1.0"?>
<!DOCTYPE Configure PUBLIC "-//Jetty//Configure//EN" "https://www.eclipse.org/jetty/configure_10_0.dtd">

<Configure>
  <Call class="org.eclipse.jetty.util.PidFile" name="create">
    <Arg name="file"><Property name="jetty.pid" default="%%RUNDIR%%/shibboleth.pid"/></Arg>
  </Call>
</Configure>