Method update_user_history in Controller modified
Method update_user_history in Controller modified

Method update_user_history modified to ignore history for Tools

Ensembl/public-plugins,muffato/public-plugins,muffato/public-plugins,muffato/public-plugins,muffato/public-plugins,Ensembl/public-plugins,Ensembl/public-plugins