From f180168a4ce10d262155ada012090c5b82c4cbdd Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Wed, 9 Aug 2006 15:32:12 +0000 Subject: [PATCH] Fix shares error in locations --- location.sml | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/location.sml b/location.sml index ca66ee2..5dbf7a6 100644 --- a/location.sml +++ b/location.sml @@ -135,7 +135,7 @@ fun recordResidents () = addToParents (loc, count) end in - C.fold db folder NM.empty ($`SELECT loc, id, name, rname, bal, joined, app + C.fold db folder NM.empty ($`SELECT loc, id, name, rname, bal, joined, app, shares FROM Lives JOIN WebUser ON usr = id`) end @@ -293,7 +293,7 @@ fun removeFromLocation (lives : lives) = end fun residentsOneLevel loc = - C.map (getDb ()) mkUserRow ($`SELECT id, name, rname, bal, joined, app FROM Lives, WebUser + C.map (getDb ()) mkUserRow ($`SELECT id, name, rname, bal, joined, app, shares FROM Lives, WebUser WHERE loc = ^(C.intToSql loc) AND usr = id ORDER BY name`) @@ -315,4 +315,4 @@ fun subLocations par = WHERE parent ^(intOptToSqlCompare par) ORDER BY name`) -end \ No newline at end of file +end -- 2.20.1