Fixed a problem where no servers caused a NullPointerException
parent
040c150298
commit
8dc6e932d2
|
@ -166,6 +166,12 @@ public class Manager {
|
||||||
commandArgs[i] = args[j];
|
commandArgs[i] = args[j];
|
||||||
}
|
}
|
||||||
|
|
||||||
|
/* bail out early if there are no servers found */
|
||||||
|
if ( serverlist.size() == 0 ) {
|
||||||
|
usage ();
|
||||||
|
System.exit ( 1 );
|
||||||
|
}
|
||||||
|
|
||||||
/* start the textual report */
|
/* start the textual report */
|
||||||
generateTextReport ( command, commandArgs );
|
generateTextReport ( command, commandArgs );
|
||||||
}
|
}
|
||||||
|
|
Reference in New Issue