Fix shares error in locations
authorAdam Chlipala <adamc@hcoop.net>
Wed, 9 Aug 2006 15:32:12 +0000 (15:32 +0000)
committerAdam Chlipala <adamc@hcoop.net>
Wed, 9 Aug 2006 15:32:12 +0000 (15:32 +0000)
location.sml

index ca66ee2..5dbf7a6 100644 (file)
@@ -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