Consulta DB y con el valor recogido comprobamos que no hay un proceso corriendo con dicha PID en el servidor

checkForcedDistributionInCourse.php

    function checkForcedDistributionInCourse() {
        global $DB;

        $db_cron_pid = $DB->get_record('config_plugins', array(
            'plugin' => 'local_distr',
            'name' => 'cron_active')
        );

        if ($db_cron_pid->value && file_exists( "/proc/$db_cron_pid->value" )){
            return -1; // En curso
        } else {
            return $db_cron_pid;
        }
    }