err() private method

private err ( Err e ) : void
e Err
return void
Example #1
0
 internal void _dispatch(Future future)
 {
     try
     {
         if (future.isCancelled())
         {
             return;
         }
         if (m_pool.m_killed)
         {
             future.cancel(); return;
         }
         future.set(receive(future.m_msg));
     }
     catch (Err.Val e)
     {
         future.err(e.m_err);
     }
     catch (System.Exception e)
     {
         future.err(Err.make(e));
     }
 }
Example #2
0
File: Actor.cs Project: nomit007/f4
 internal void _dispatch(Future future)
 {
     try
       {
     if (future.isCancelled()) return;
     if (m_pool.m_killed) { future.cancel(); return; }
     future.set(receive(future.m_msg));
       }
       catch (Err.Val e)
       {
     future.err(e.m_err);
       }
       catch (System.Exception e)
       {
     future.err(Err.make(e));
       }
 }