projects
/
brisk.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
generalized no-cache management
[brisk.git]
/
web
/
Obj
/
brisk.phh
diff --git
a/web/Obj/brisk.phh
b/web/Obj/brisk.phh
index
b52c333
..
396b116
100644
(file)
--- a/
web/Obj/brisk.phh
+++ b/
web/Obj/brisk.phh
@@
-293,6
+293,13
@@
function mop_flush()
flush();
}
flush();
}
+function force_no_cache(&$header_out)
+{
+ $header_out['Pragma'] = 'no-cache, must-revalidate';
+ $header_out['Cache-Control'] = 'no-cache';
+ $header_out['Expires'] = '-1';
+}
+
function file_lock($fname, $is_exclusive)
{
if (($res = @fopen($fname, "r+")) == FALSE) {
function file_lock($fname, $is_exclusive)
{
if (($res = @fopen($fname, "r+")) == FALSE) {
@@
-2171,6
+2178,8
@@
class Room {
{
printf("NEW_SOCKET (root): %d\n", intval($new_socket));
{
printf("NEW_SOCKET (root): %d\n", intval($new_socket));
+ force_no_cache($header_out);
+
switch ($path) {
case "":
case "index.php":
switch ($path) {
case "":
case "index.php":