Small improvement on general.js

Check if process_div is defined before hiding and removing it…