- vnode.state.cookie = cookie
- Object.keys(sessions).map(function(key) {
- if (!vnode.state.items[key])
- vnode.state.items[key] = m.stream([])
- vnode.state.items[key].dirty = true
- vnode.state.sessionDB.request(sessions[key], 'arvados/v1/collections', {
- data: {
- filters: JSON.stringify(!q ? [] : [['any', '@@', q+':*']]),
- count: 'none',
- },
- }).then(function(resp) {
- if (cookie !== vnode.state.cookie)
- // a newer query is in progress; ignore this result.
- return
- vnode.state.items[key](resp.items)
- vnode.state.items[key].dirty = false
+ var displayItems = m.stream([])
+ vnode.state.displayItems = displayItems
+ m.stream.merge(Object.keys(sessions).map(function(key) {
+ var pager = new Pager(function(filters) {
+ if (q)
+ filters.push(['any', '@@', q+':*'])
+ return vnode.state.sessionDB.request(sessions[key], 'arvados/v1/collections', {
+ data: {
+ filters: JSON.stringify(filters),
+ count: 'none',
+ },
+ })