public synchronized void pushExternalCacheFragment ( ExternalInvalidation externalCacheFragment , DCache cache ) { BatchUpdateList bul = getUpdateList ( cache ) ; bul . pushECFEvents . add ( externalCacheFragment ) ; }
This allows an external cache fragment to be added to the BatchUpdateDaemon .