Unsorted
PHP
PHP: Beware with equations of strings and integers: "5909;"==5909 This is true!
Array keys with REAL values must be converted to strings: Use $f[(string)10.7]. Without conversion it will be interpreted as $f[10].
mysqli_report(MYSQLI_REPORT_ALL); can stop PHP scripts on MySQL errors without reporting
Dira Startrack Edit Range
In Display_Max_Level
PgAdmin III 1.18
How to select a field and edit data with a keyboard shortcut (without mouse-click) in the edit window: Press F2 (not ducumented)
nmap installation conflicts
After installing nmap v 7.70 (Windows installer for the network mapping tool) my Windows 7 system had severe network problems. Local postgres database was unconnectable. Internet only worked after closing all postgres procedures. It was neccessary to set the system back to a restore point.
CURL command line: Caution
Do not end a request with -H (linefeed) in your request header. Many servers will not respond.
Postgres OIDs are not permanent
It's not a good idea to use OID for relational databases. My experience is that the system chenges them occasionally. Maybe it's a consequence of a VACUUM but I'm not sure
Leaflet Polygons Offset
I had a margin:1em for the img element in my CSS. This resulted in an unintended offset of all polygons on the map thought the div containing the mapcanvas had no visible img element. They appeared 1em northwest of the desired position, regardsless of the zoom. Adding the rule .leaflet-container img {margin:0} fixed this.