public class Pinger
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
static int |
FAILURE_EXIT |
static long |
SLEEP_TIME_MILLIS |
static int |
SUCCESS_EXIT |
Constructor and Description |
---|
Pinger() |
Modifier and Type | Method and Description |
---|---|
private void |
exit(int exitStatus) |
static void |
main(java.lang.String[] args) |
void |
ping(int iterations)
Checks to see that the server is up.
|
private void |
ping(org.apache.derby.drda.NetworkServerControl controller,
int iterations) |
private void |
println(java.lang.String text) |
public static final long SLEEP_TIME_MILLIS
public static final int SUCCESS_EXIT
public static final int FAILURE_EXIT
public static void main(java.lang.String[] args) throws java.lang.Exception
java.lang.Exception
private void println(java.lang.String text)
private void exit(int exitStatus)
public void ping(int iterations) throws java.lang.Exception
Checks to see that the server is up. If the server doesn't come up in a reasonable amount of time, brings down the VM.
java.lang.Exception
private void ping(org.apache.derby.drda.NetworkServerControl controller, int iterations) throws java.lang.Exception
java.lang.Exception
Apache Derby V10.10 Internals - Copyright © 2004,2014 The Apache Software Foundation. All Rights Reserved.