From 47d1aa58e2c6e60391050e84e1f2eb7a1fb50552 Mon Sep 17 00:00:00 2001
From: mpl <mathieu.lonjaret@gmail.com>
Date: Thu, 6 Dec 2012 16:56:11 +0100
Subject: [PATCH] dev-server usage

Change-Id: Idd100a09b2d99785fdd40a518a2db754d945191b
---
 dev-server | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/dev-server b/dev-server
index b202aba19..9e6a1f6f4 100755
--- a/dev-server
+++ b/dev-server
@@ -6,7 +6,7 @@ use Getopt::Long;
 require "$Bin/misc/devlib.pl";
 
 sub usage {
-    die "Usage: dev-server [--wipe] [--mongo|--memory] [--tls] <portnumber> -- [other_blobserver_opts]";
+    die "Usage: dev-server [--wipe] [--mongo|--mysql|--postgres] [--tls] <portnumber> -- [other_blobserver_opts]";
 }
 
 my $closure_rev = "r2322";