function __getSessionId(process)
{
    try
    {
        if(process.KernelObject.Session)
        {
            return process.KernelObject.Session.SessionId;
        }
        else
        {
            return "------";
        }
    }
    catch(e)
    {
        return "------";
    }
}
/**
    Return the session ID of a given process.

    Parameters:
    process - WinDbg process object.
*/
Return the session ID of a given process.
Parameters:
process - WinDbg process object.
Return the session ID of a given process . Parameters : process - WinDbg process object .
function __getSessionId(process)
{
    try
    {
        if(process.KernelObject.Session)
        {
            return process.KernelObject.Session.SessionId;
        }
        else
        {
            return "------";
        }
    }
    catch(e)
    {
        return "------";
    }
}
function __getSessionId ( process ) { try { if ( process . KernelObject . Session ) { return process . KernelObject . Session . SessionId ; } else { return "------" ; } } catch ( e ) { return "------" ; } }
Return the session ID of a given process.
Return the session ID of a given process .