diff --git a/src/fr/inrialpes/exmo/align/service/CacheImpl.java b/src/fr/inrialpes/exmo/align/service/CacheImpl.java index d0d901a55b21ed86269f64fde0a642cb92b8a061..70ccb08455b85173366086dd0324c0e0c83a700e 100644 --- a/src/fr/inrialpes/exmo/align/service/CacheImpl.java +++ b/src/fr/inrialpes/exmo/align/service/CacheImpl.java @@ -549,13 +549,13 @@ public class CacheImpl { /** * Non publicised class */ - public void eraseAlignment( String id ) throws SQLException, AlignmentException { - Alignment alignment = getAlignment( id ); - if ( alignment != null ) { - unstoreAlignment( id, alignment ); - // Suppress it from the cache... - unRecordAlignment( alignment ); - } + public void eraseAlignment( String id, boolean eraseFromDB ) throws SQLException, AlignmentException { + Alignment alignment = getAlignment( id ); + if ( alignment != null ) { + if ( eraseFromDB ) unstoreAlignment( id, alignment ); + // Suppress it from the cache... + unRecordAlignment( alignment ); + } } /**