src/video/dedicated_v.h
changeset 8217 fbcb18467e34
parent 8171 3fb9d1f8ac3b
child 9111 48ce04029fe4
--- a/src/video/dedicated_v.h	Mon Jan 07 15:35:36 2008 +0000
+++ b/src/video/dedicated_v.h	Mon Jan 07 16:41:03 2008 +0000
@@ -22,7 +22,13 @@
 
 class FVideoDriver_Dedicated: public VideoDriverFactory<FVideoDriver_Dedicated> {
 public:
+#ifdef DEDICATED
+	/* Automatically select this dedicated driver when making a dedicated
+	 * server build. */
+	static const int priority = 10;
+#else
 	static const int priority = 0;
+#endif
 	/* virtual */ const char *GetName() { return "dedicated"; }
 	/* virtual */ const char *GetDescription() { return "Dedicated Video Driver"; }
 	/* virtual */ Driver *CreateInstance() { return new VideoDriver_Dedicated(); }