auth.pony

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
primitive SchedulerInfoAuth
  """
  Authorizes access to scheduler information.
  """
  new create(auth: AmbientAuth) => None

primitive ActorStatsAuth
  """
  Authorizes access to actor statistics.
  """
  new create(auth: AmbientAuth) => None

primitive SchedulerStatsAuth
  """
  Authorizes access to scheduler statistics.
  """
  new create(auth: AmbientAuth) => None