{"push_id":1281530919,"size":1,"distinct_size":1,"ref":"refs/heads/development","head":"e19c15d801d9df47045b3852f3af94314eec3f85","before":"fc108ceed85c6b0a643e4aa31bd9d39a7646f3bd","commits":[{"sha":"e19c15d801d9df47045b3852f3af94314eec3f85","author":{"name":"oveits","email":"05daa13a75954cfddbe747960aa7882f54ae1e2b@web.de"},"message":"closes #61: improved page reload via java script\n\nBefore, the page content erroneously was sporadically toggled back to the\nprevious page content as an error. iAs a resolution, we have re-organized the\nthe concept to search for elements with class==\"refresh\",\nmemorized the id (which must be unique for solving the problem)\nperiodically receive the full page from the server and replace\nthe DOM element with the corresponding id. If the id is unique\nfor the service, it can never happen, that an element of one page\nis replaced by the content of the element of another page erroneously.\n\nThe new concept will help to allow a page elements refresh on pages,\nwhich contain a form. Today, this is not possible, since a form\nis misbehaving when a HTML element containing the form is replaced.\nWe now can assign unique IDs for smaller elements in the page, and\nindicate with class=\"refresh\" that it is to be updated.\nThis will bedone in a nedt step.","distinct":true,"url":"https://api.github.com/repos/oveits/ProvisioningEngine/commits/e19c15d801d9df47045b3852f3af94314eec3f85"}]}
{"actor":{"display_login":"oveits"}}