Fossil

Check-in [c7ad43638d]
Login

Check-in [c7ad43638d]

Many hyperlinks are disabled.
Use anonymous login to enable hyperlinks.

Overview
Comment:Move the z-level style into default.css, in case the adversaries read inlined STYLE tags (which now, in hindsight, seems more likely to me). Change the HTTP result code from robot_proofofwork() to a non-200 code, the hope being that the adversaries will stop on a non-200 code.
Downloads: Tarball | ZIP archive
Timelines: family | ancestors | descendants | both | robotck-instant
Files: files | file ages | folders
SHA3-256: c7ad43638da062e1d43ceca01fd5a441e7643286507f582ec99f231b9c9fa9b3
User & Date: stephan 2025-08-17 15:37:58.074
Context
2025-08-17
17:47
Because this new check is too fast to see the progress indicator, make the final result label more explicit. ... (check-in: b6cf0c2052 user: stephan tags: robotck-instant)
15:37
Move the z-level style into default.css, in case the adversaries read inlined STYLE tags (which now, in hindsight, seems more likely to me). Change the HTTP result code from robot_proofofwork() to a non-200 code, the hope being that the adversaries will stop on a non-200 code. ... (check-in: c7ad43638d user: stephan tags: robotck-instant)
13:21
Add a comment explaining why document.body's z-level is explicitly set to 0. Remove some EOL whitespace. ... (check-in: 7c57a20ebd user: stephan tags: robotck-instant)
Changes
Unified Diff Ignore Whitespace Patch
Changes to src/default.css.
1
2
3
4
5



6
7
8
9
10
11
12
/* This CSS file holds the default implementations for all of fossil's
   CSS classes. When /style.css is requested, the rules in this file
   are emitted first, followed by (1) page-specific CSS (if any) and
   (2) skin-specific CSS.
*/



div.sidebox {
  float: right;
  background-color: white;
  border-width: medium;
  border-style: double;
  margin: 10px;
}





>
>
>







1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
/* This CSS file holds the default implementations for all of fossil's
   CSS classes. When /style.css is requested, the rules in this file
   are emitted first, followed by (1) page-specific CSS (if any) and
   (2) skin-specific CSS.
*/
body {
  z-index: 0 /* part of robot.c:robot_proofofwork() */;
}
div.sidebox {
  float: right;
  background-color: white;
  border-width: medium;
  border-style: double;
  margin: 10px;
}
Changes to src/robot.c.
120
121
122
123
124
125
126

127
128
129
130
131
132
133
  @     E("x2").textContent="";
  @     E("x1").textContent="All clear";
  @     E("x6").onsubmit=function(){E("x3").style.visibility="hidden";};
  @     E("x5").focus();
  @   }
  @ },false);
  @ </script>

  style_finish_page();
  return 1;
}

/*
** SETTING: robot-restrict                width=40 block-text
** The VALUE of this setting is a list of GLOB patterns that match







>







120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
  @     E("x2").textContent="";
  @     E("x1").textContent="All clear";
  @     E("x6").onsubmit=function(){E("x3").style.visibility="hidden";};
  @     E("x5").focus();
  @   }
  @ },false);
  @ </script>
  cgi_set_status(511, "OK for people");
  style_finish_page();
  return 1;
}

/*
** SETTING: robot-restrict                width=40 block-text
** The VALUE of this setting is a list of GLOB patterns that match
Changes to src/style.c.
824
825
826
827
828
829
830
831
832
833
834
835
836
837
838
839
  headerHasBeenGenerated = 1;
  sideboxUsed = 0;
  if( g.perm.Debug && P("showqp") ){
    @ <div class="debug">
    cgi_print_all(0, 0, 0);
    @ </div>
  }
  @ <style>body { z-index: 0 }</style>
  /* ^^^^ part of robot.c:robot_proofofwork() */
  fossil_free(zTitle);
}

#if INTERFACE
/* Allowed parameters for style_adunit() */
#define ADUNIT_OFF        0x0001       /* Do not allow ads on this page */
#define ADUNIT_RIGHT_OK   0x0002       /* Right-side vertical ads ok here */







<
<







824
825
826
827
828
829
830


831
832
833
834
835
836
837
  headerHasBeenGenerated = 1;
  sideboxUsed = 0;
  if( g.perm.Debug && P("showqp") ){
    @ <div class="debug">
    cgi_print_all(0, 0, 0);
    @ </div>
  }


  fossil_free(zTitle);
}

#if INTERFACE
/* Allowed parameters for style_adunit() */
#define ADUNIT_OFF        0x0001       /* Do not allow ads on this page */
#define ADUNIT_RIGHT_OK   0x0002       /* Right-side vertical ads ok here */