/**
* Forces one or more file-based logs to reopen, erasing their previous contents. non-file logs
* ignore this.
*/
public synchronized void reopen(int[] _logs) throws IOException {
for (int x = 0; x < _logs.length; x++) {
Log oldlog = (Log) logs.elementAt(_logs[x]);
logs.setElementAt(oldlog.reopen(), _logs[x]);
}
}
/**
* Forces a file-based log to reopen, erasing its previous contents. non-file logs ignore this.
*/
public synchronized void reopen(int _log) throws IOException {
Log oldlog = (Log) logs.elementAt(_log);
logs.setElementAt(oldlog.reopen(), _log);
}