Overview
| Comment: | Cause a negative threshold to be really high |
|---|---|
| Downloads: | Tarball | ZIP archive | SQL archive |
| Timelines: | family | ancestors | descendants | both | trunk |
| Files: | files | file ages | folders |
| SHA3-256: |
3c48891a32cd6ea2291fb9fe64a57515 |
| User & Date: | rkeene on 2019-09-17 21:39:05 |
| Other Links: | manifest | tags |
Context
|
2019-09-17
| ||
| 23:23 | Made the entire data for file contents read-only check-in: 745e0c0839 user: rkeene tags: trunk | |
| 21:39 | Cause a negative threshold to be really high check-in: 3c48891a32 user: rkeene tags: trunk | |
| 21:35 | Optimized path name lookup check-in: c1c3fa70b5 user: rkeene tags: trunk | |
Changes
Modified xvfs.c.rvt from [60bb9bc295] to [4d040bcf2b].
| ︙ | ︙ | |||
40 41 42 43 44 45 46 47 48 49 50 51 52 53 |
<?
package require xvfs
set ::xvfs::hashNameThreshold 3
if {[info exists ::env(XVFS_CREATE_HASH_NAME_THRESHOLD)]} {
set ::xvfs::hashNameThreshold $::env(XVFS_CREATE_HASH_NAME_THRESHOLD)
}
xvfs::main $argv
proc emitFilenameVerification {indentLevel outputFileNameLen outputFileIndexes} {
set indent [string repeat "\t" $indentLevel]
foreach outputFileIndex $outputFileIndexes {
?><?= $indent ?>if (memcmp(path, xvfs_<?= $::xvfs::fsName ?>_data[<?= $outputFileIndex ?>].name, <?= $outputFileNameLen ?>) == 0) {
<?= $indent ?> return(<?= $outputFileIndex ?>);
| > > > | 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 |
<?
package require xvfs
set ::xvfs::hashNameThreshold 3
if {[info exists ::env(XVFS_CREATE_HASH_NAME_THRESHOLD)]} {
set ::xvfs::hashNameThreshold $::env(XVFS_CREATE_HASH_NAME_THRESHOLD)
}
if {$::xvfs::hashNameThreshold < 0} {
set ::xvfs::hashNameThreshold [expr {2**31}]
}
xvfs::main $argv
proc emitFilenameVerification {indentLevel outputFileNameLen outputFileIndexes} {
set indent [string repeat "\t" $indentLevel]
foreach outputFileIndex $outputFileIndexes {
?><?= $indent ?>if (memcmp(path, xvfs_<?= $::xvfs::fsName ?>_data[<?= $outputFileIndex ?>].name, <?= $outputFileNameLen ?>) == 0) {
<?= $indent ?> return(<?= $outputFileIndex ?>);
|
| ︙ | ︙ |