2020-05-14 17:03:09 +02:00
|
|
|
require "json"
|
|
|
|
require "uuid"
|
|
|
|
require "uuid/json"
|
|
|
|
|
|
|
|
|
|
|
|
# Keep track of connected users and their requests.
|
|
|
|
# TODO: requests should be handled concurrently.
|
|
|
|
class FileStorage::UserData
|
|
|
|
include JSON::Serializable
|
|
|
|
|
|
|
|
property uid : Int32
|
2020-05-16 01:40:09 +02:00
|
|
|
# property token : AuthD::User::Public?
|
2020-05-14 17:03:09 +02:00
|
|
|
property uploads : Array(FileStorage::Request::Upload)
|
|
|
|
property downloads : Array(FileStorage::Request::Download)
|
|
|
|
|
2020-05-16 01:40:09 +02:00
|
|
|
def initialize(@uid,
|
2020-05-14 17:03:09 +02:00
|
|
|
@uploads = Array(FileStorage::Request::Upload).new,
|
|
|
|
@downloads = Array(FileStorage::Request::Download).new)
|
|
|
|
end
|
|
|
|
end
|