<commit_before>﻿@using Microsoft.AspNet.Identity
@if (Request.IsAuthenticated)
{
    using (Html.BeginForm("LogOff", "Account", FormMethod.Post, new { id = "logoutForm", @class = "navbar-right" }))
    {
    @Html.AntiForgeryToken()

        <ul id="navigation-bar" class="nav navbar-nav navbar-right">
            <li class="navbar-events"><a href="/requests"><i class="fa fa-ticket navbar-ico" aria-hidden="true"></i><span class="navbar-number">3</span></a></li>
            <li class="navbar-events"><a href="/invitations"><i class="fa fa-group navbar-ico" aria-hidden="true"></i><span class="navbar-number">3</span></a></li>
            <li>
                @Html.ActionLink("Hello " + User.Identity.GetUserName() + "!", "Index", "Manage", routeValues: null, htmlAttributes: new { title = "Manage" })
            </li>
            <li><a href="javascript:document.getElementById('logoutForm').submit()">Log off</a></li>
        </ul>
    }
}
else
{
    <ul class="nav navbar-nav navbar-right">
        <li>@Html.ActionLink("Register", "Register", "Account", routeValues: null, htmlAttributes: new { id = "registerLink" })</li>
        <li>@Html.ActionLink("Log in", "Login", "Account", routeValues: null, htmlAttributes: new { id = "loginLink" })</li>
    </ul>
}
<commit_msg>Fix issue #13.<commit_after>﻿@using Microsoft.AspNet.Identity
@if (Request.IsAuthenticated)
{
    using (Html.BeginForm("LogOff", "Account", FormMethod.Post, new { id = "logoutForm", @class = "navbar-right" }))
    {
    @Html.AntiForgeryToken()

        <ul id="navigation-bar" class="nav navbar-nav navbar-right">
            <li class="navbar-events"><a href="/requests"><i class="fa fa-ticket navbar-ico" aria-hidden="true"></i><span class="navbar-number">3</span></a></li>
            <li class="navbar-events"><a href="/invitations"><i class="fa fa-group navbar-ico" aria-hidden="true"></i><span class="navbar-number">3</span></a></li>
            <li>
                @Html.ActionLink("Hello " + User.Identity.GetUserName() + "!", "Details", "Account", routeValues: new { username = User.Identity.GetUserName() }, htmlAttributes: new { title = "Manage" })
            </li>
            <li><a href="javascript:document.getElementById('logoutForm').submit()">Log off</a></li>
        </ul>
    }
}
else
{
    <ul class="nav navbar-nav navbar-right">
        <li>@Html.ActionLink("Register", "Register", "Account", routeValues: null, htmlAttributes: new { id = "registerLink" })</li>
        <li>@Html.ActionLink("Log in", "Login", "Account", routeValues: null, htmlAttributes: new { id = "loginLink" })</li>
    </ul>
}

{'fraction_non_alphanumeric': 0.2029930928626247, 'fraction_numerical': 0.0023023791250959325, 'mean_word_length': 3.5978835978835977, 'pattern_counts': {'":': 0, '<': 63, '<?xml version=': 0, '>': 63, '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': '6274935', 'n_tokens_mistral': 841, 'n_tokens_neox': 825, 'n_words': 160}