There are better solutions than restarting applications in that case -- specifically, c/r solutions aren't too hard, and require no work from app developers to

There are better solutions than restarting applications in that case -- specifically, c/r solutions aren't too hard, and require no work from app developers to support.