+ 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.