srv_conc_t.n_active and srv_conc_t.n_waiting transition to Atomic_counter.
Attach a file by drag & drop or click to upload
