templates/monoblue/index.tmpl
author Nicolas Dumazet <nicdumz.commits@gmail.com>
Sat, 23 May 2009 18:44:01 +0900
changeset 8600 d46cdfcecaf1
parent 8430 8b47efdf40ee
child 8936 1de6e7e1bb9f
permissions -rw-r--r--
inotify: proper fix for issue1542 (partially reverting 67e59a9886d5) issue1542 description: Unknown files (?) placed in a directory are still marked as present and unknown when the containing directory is moved out of the repository scope. Why 67e59a9886d5 was bad: * When the problem we're addressing only deals with unknown files, the fix to updatestatus applies for all statuses * The only reason to move the call schedule_work(wpath, 'd') seems to be that it allowed an updatestatus call on the deleted directory, in deleted(). But deleted() should not be called on directories in the first place. * After fixing an independant issue (1371), test-inotify-issue1542 was failing Fix: When processing a deletion of a directory, walk the tree of the unknown files and remove the entries from repowatcher. This step does not need to be added in the generic scan() routine: it is only necessary on a directory deletion.

{header}
    <title>{repo|escape}: Mercurial repositories index</title>
</head>

<body>
<div id="container">
    <div class="page-header">
        <h1>Mercurial Repositories</h1>
        <ul class="page-nav">
        </ul>
    </div>
    
    <table cellspacing="0">
        <tr>
            <td><a href="?sort={sort_name}">Name</a></td>
            <td><a href="?sort={sort_description}">Description</a></td>
            <td><a href="?sort={sort_contact}">Contact</a></td>
            <td><a href="?sort={sort_lastchange}">Last change</a></td>
            <td>&nbsp;</td>
            <td>&nbsp;</td>
        </tr>
        {entries%indexentry}
    </table>
    <div class="page-footer">
        {motd}
    </div>

    <div id="powered-by">
        <p><a href="http://www.selenic.com/mercurial/" title="Mercurial"><img src="{staticurl}hglogo.png" width=75 height=90 border=0 alt="mercurial"></a></p>
    </div>

    <div id="corner-top-left"></div>
    <div id="corner-top-right"></div>
    <div id="corner-bottom-left"></div>
    <div id="corner-bottom-right"></div>

</div>
</body>
</html>