<commit_before>﻿@using Common
@{
    if (User.Identity != null && string.IsNullOrWhiteSpace(User.Identity.Name))
    {
        Html.Encode("");
    }
    else
    {
        @(string.Format("Welcome, {0}!", User.Identity.Name))
    
<text>
    [
</text>

        if (User.IsInRole(Constants.RoleAdmin))
        {
            <text> <a href="/"> Home </a> | </text><commit_msg>Added link to Admin page for admin users<commit_after>﻿@using Common
@{
    if (User.Identity != null && string.IsNullOrWhiteSpace(User.Identity.Name))
    {
        Html.Encode("");
    }
    else
    {
        @(string.Format("Welcome, {0}!", User.Identity.Name))
    
    <text>[ </text>

        if (User.IsInRole(Constants.RoleAdmin))
        {
            <text> <a href="/Disaster/List"> Admin </a> | </text>
{'fraction_non_alphanumeric': 0.1810126582278481, 'fraction_numerical': 0.002531645569620253, 'mean_word_length': 2.268595041322314, 'pattern_counts': {'":': 0, '<': 15, '<?xml version=': 0, '>': 15, 'https://': 0, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 0, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
{'dir': 'git-commits-cleaned', 'id': '6887985', 'n_tokens_mistral': 265, 'n_tokens_neox': 261, 'n_words': 48}