From 00fe3d35018b15e71284551e2729f7831e302a90 Mon Sep 17 00:00:00 2001
From: Alex Bilbie <alex@alexbilbie.com>
Date: Fri, 6 Jul 2012 18:15:28 +0100
Subject: [PATCH] $options is null by default (makes it optional)

---
 src/oauth2server/Server.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/oauth2server/Server.php b/src/oauth2server/Server.php
index fee789fd..5b63e6b1 100644
--- a/src/oauth2server/Server.php
+++ b/src/oauth2server/Server.php
@@ -38,7 +38,7 @@ class Server
         maintenance of the server.'
     ); 
 
-    public function __construct(array $options)
+    public function __construct(array $options = null)
     {
         $this->options = array_merge($this->config, $options);
         if ($options !== null) {