- public void migrate(Host destination){
- this.internalmig(destination);
- // TODO we should test whether the migration has been correctly finalized.
- // If and only if it is ok, then we should change the currentHost value.
+ public void migrate(Host destination) throws HostFailureException{
+ try {
+ this.internalmig(destination);
+ } catch (Exception e){
+ Msg.info("Migration of VM "+this.getName()+" to "+destination.getName()+" is impossible ("+e.getMessage()+")");
+ throw new HostFailureException();
+ }
+ // If the migration correcly returned, then we should change the currentHost value.