Track correctly the number of secure command channel connections

src/trusted/sel_universal/rpc_universal.h

Index: src/trusted/sel_universal/rpc_universal.h
diff --git a/src/trusted/sel_universal/rpc_universal.h b/src/trusted/sel_universal/rpc_universal.h
index 3a65da721e38298a63cd83fbd7ed062fd5732076..62bf9c4e71f828d7013af24b64c142e244fff362 100644
--- a/src/trusted/sel_universal/rpc_universal.h
+++ b/src/trusted/sel_universal/rpc_universal.h
@@ -60,6 +60,8 @@ class NaClCommandLoop {
                                      const vector<string>& args);
   static bool HandleEcho(NaClCommandLoop* ncl,
                          const vector<string>& args);
+  static bool HandleShutdown(NaClCommandLoop* nacl,
+                             const vector<string>& args);
 
   int desc_count_;
   NaClSrpcService* service_;