Fix filtering of push notifications
Compare changes
Within request_table.js
the selection of filters in the filters.html
document is/was used to filter on a number of factors.
Instead of this filter working, it instead let some request table updates through even though it should not have.
I suspect that this only happened for those who put on an 'assigned to' filter. This filter was not yet implemented in the inFilter
function.
The 'assigned to' filter was implemented in request_table.js
and some clean up was done to ensure better maintainability of this piece of code in the future.
Closes #90 (closed)