Generation of ID from host/port/db moved from layout.mc to menu.mc, and no longer...
authorMike Taylor <mike@indexdata.com>
Thu, 16 Nov 2006 17:02:30 +0000 (17:02 +0000)
committerMike Taylor <mike@indexdata.com>
Thu, 16 Nov 2006 17:02:30 +0000 (17:02 +0000)
commit07bbb862227fad300104fd0ddd7cdb5ec26586bd
tree260093c7d25434186f080cea5df89acf9eda3eb3
parent5068b2b9f395c1c4c38b01c1961742439c89bf0b
Generation of ID from host/port/db moved from layout.mc to menu.mc, and no longer lodges the new ID in the params
web/htdocs/chrome/layout.mc
web/htdocs/chrome/menu.mc