digraph Pages
{
  node [shape=rect, style=bold, color=black, height=0.7, penwidth=2];
  overlap=false;
  splines=true;
  sep="+30";
  nodesep=0.9;
  ranksep=0.6;
  newrank=true;
//  landscape=true;


//
// Blocchi speciali
//

  User				[label="User", shape=oval];
  EndUser			[label="User\nHandler", shape=oval];
  
  DisconnectAllServers		[label="DisconnectAllServers()"];
  DisconnectFirst		[label="DisconnectFirst()"];
  EVT_DISCONN_COMPLETE		[label="EVT_DISCONN_COMPLETE"];
  DisconnetFirstJob		[label="DisconnetFirstJob()"];
  aci_gap_terminate		[label="aci_gap_terminate()", color=grey];
  
 

//
// Collegamenti tra le funzioni
//

  User -> DisconnectAllServers;
  DisconnectAllServers -> DisconnectFirst;
  DisconnectFirst -> aci_gap_terminate;
  aci_gap_terminate -> EVT_DISCONN_COMPLETE		[penwidth=4, color=cyan];
  EVT_DISCONN_COMPLETE -> DisconnetFirstJob		[penwidth=4];
  DisconnetFirstJob -> DisconnectFirst;
  DisconnetFirstJob -> EndUser;

  { rank=same; User; DisconnectAllServers; }
}