merge the new developmentbranch into the test branch #39

Closed
j23f0712 wants to merge 431 commits from development2 into dev/test
164 changed files with 3332 additions and 1710 deletions
Showing only changes of commit 1214d3c87c - Show all commits

View File

@@ -413,7 +413,7 @@ public void received(ShutdownMessage msg) {
*/
@Override
public void received(IncorrectRequestMessage msg) {
state.received(msg);
addNotification(new InfoNotification(Resources.stringLookup("incorrect.request." + msg.getId())));
}
/**

View File

@@ -27,6 +27,15 @@ public IncorrectRequestMessage() {
this.id = 0;
}
/**
* Returns the id of the incorrect request message
*
* @return the id of the error message
*/
public int getId(){
return id;
}
/**
* Accepts a visitor to process this message.
*