Added is_disc_cache_active/0#4

windkit wants to merge 2 commits intoleo-project:developleo-project/leo_cache:developfrom

windkit:disc_cache_activewindkit/leo_cache:disc_cache_activeCopy head branch name to clipboard