updating the files of the current peer if necesarry
Merge branch 'master' of github.com:alexsirbu/idp
various gui-mediator functions
Merge branch 'master' of github.com:alexsirbu/idp