Make sure the saved Notice has an ID

diff --git a/classes/Notice.php b/classes/Notice.php
index 86eec8e3adebbec2d838eaaeb82fc77630798d54..892f2be30ea0908893333c269e14de381e11ddba 100644 (file)
--- a/classes/Notice.php
+++ b/classes/Notice.php
@@ -997,7 +997,9 @@ class Notice extends Managed_DataObject
             }
         }
         if (!$stored instanceof Notice) {
-            throw new ServerException('StartNoticeSave did not give back a Notice');
+            throw new ServerException('StartNoticeSave did not give back a Notice.');
+        } elseif (empty($stored->id)) {
+            throw new ServerException('Supposedly saved Notice has no ID.');
         }
 
         // Only save 'attention' and metadata stuff (URLs, tags...) stuff if