671 |
if (ctx->last_access.dwHighDateTime != ctx->access.dwHighDateTime && |
if (ctx->last_access.dwHighDateTime != ctx->access.dwHighDateTime && |
672 |
ctx->last_access.dwLowDateTime != ctx->access.dwLowDateTime) |
ctx->last_access.dwLowDateTime != ctx->access.dwLowDateTime) |
673 |
ctx->modified = 1; |
ctx->modified = 1; |
674 |
|
|
675 |
|
/* XXX: find a better way. without it, winpt --keymanager loads |
676 |
|
the key cache twice otherwise. */ |
677 |
|
if (ctx->last_access.dwLowDateTime == 0) |
678 |
|
ctx->modified = 0; |
679 |
|
|
680 |
ctx->last_access.dwLowDateTime = ctx->access.dwLowDateTime; |
ctx->last_access.dwLowDateTime = ctx->access.dwLowDateTime; |
681 |
ctx->last_access.dwHighDateTime = ctx->access.dwHighDateTime; |
ctx->last_access.dwHighDateTime = ctx->access.dwHighDateTime; |
682 |
} |
} |