int[] channelMap, boolean saveMarkers, final boolean asCopy, final boolean openAfterSave )
{
final ProcessingThread pt = doc.procSave( name, span, afds, channelMap, saveMarkers, asCopy );
if( pt == null ) return null;
pt.addListener( new ProcessingThread.Listener() {
public void processStopped( ProcessingThread.Event e )
{
if( !e.isDone() ) return;
wpHaveWarned = false;