+ insertion = "update property set value='";
+ insertion += version + "' where paramid='";
+ insertion += paramid + "' and name='version'";
+
+ insert_h = "insert into history (paramid, modified, change_nature, changed_property, new_value)";
+ insert_h += " values ('";
+ insert_h += paramid + "', '" + arrival.format("%Y-%m-%d %T") + "', 'MODIFIED', 'version', '";
+ insert_h += version + "')";
+
+ database.Query(insertion);
+ database.Query(insert_h);
+
+ if (change_notification == "")
+ {
+ remark = "Gnucomo detected a different version for package parameter(s) ";
+ change_notification = database.new_notification(objectid, "property modified", remark);
+ }
+
+ insertion = "insert into parameter_notification (notificationid, paramid) values ('";
+ insertion += change_notification + "', '";
+ insertion += paramid + "')";
+
+ database.Query(insertion);