Beispiel #1
0
        public void Checkin(ISharableResource rz)
        {
            SharableResource srz = (SharableResource)rz;

            srz.RemoveUser();
            lock (srz)
            {
                if (srz.UsersCount == 0)
                {
                    resources.Remove(srz.Name);
                }
            }
        }
 public void Checkin(object resource, string name, out ISharableResource rz)
 {
     ResourceSet.SharableResource sRz = new SharableResource(name, this, resource);
     resources.Add(name, sRz);
     rz = sRz;
 }
Beispiel #3
0
 public void Checkin(object resource, string name, out ISharableResource rz)
 {
     ResourceSet.SharableResource sRz = new SharableResource(name, this, resource);
     resources.Add(name, sRz);
     rz = sRz;
 }