···

       
89
       
89
       
 
       
  'a

     

       
90
       
90
       
 
       
(** Acquire connection, use it, automatically release back to pool.

     

       
91
       
91
       
 
       


     

       
92
       
92
       
-
       
    This is the only way to use connections from the pool. All resource management

     

       
93
       
93
       
-
       
    is handled automatically through Eio's switch mechanism.

     

       
94
       
94
       
-
       


     

       
95
       
92
       
 
       
    If idle connection available and healthy:

     

       
96
       
93
       
 
       
      - Reuse from pool (validates health first)

     

       
97
       
94
       
 
       
    Else: