[libgda] JDBC: SqlServer related corrections

[Vivien Malerba <vivien src gnome org>]

commit 3a34d1f8bd51f4fb58b55e58579ce946b12420f1
Author: Vivien Malerba <malerba gnome-db org>
Date:   Thu Sep 26 21:30:39 2013 +0200

    JDBC: SqlServer related corrections

 providers/jdbc/jdbc-mappings.xml                   |    2 +-
 ...osoft.sqlserver.jdbc.SQLServerDriver_dsn.xml.in |    2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)
---
diff --git a/providers/jdbc/jdbc-mappings.xml b/providers/jdbc/jdbc-mappings.xml
index f424e01..0f5c433 100644
--- a/providers/jdbc/jdbc-mappings.xml
+++ b/providers/jdbc/jdbc-mappings.xml
@@ -3,7 +3,7 @@
   <driver name="com.microsoft.sqlserver.jdbc.SQLServerDriver">
     <prefix>jdbc:sqlserver://</prefix>
     <part variable="HOST" optional="false"/>
-    <part variable="INSTANCE" optional="true" prefix="/"/>
+    <part variable="INSTANCE" optional="true" prefix="\"/>
     <part variable="PORT" optional="true" prefix=":"/>
     <!-- properties, see http://msdn.microsoft.com/en-us/library/ms378988.aspx -->
     <part variable="DB_NAME" optional="true" prefix=";database="/>
diff --git a/providers/jdbc/jdbc_specs_com.microsoft.sqlserver.jdbc.SQLServerDriver_dsn.xml.in 
b/providers/jdbc/jdbc_specs_com.microsoft.sqlserver.jdbc.SQLServerDriver_dsn.xml.in
index 8a2d1ed..39bc8f0 100644
--- a/providers/jdbc/jdbc_specs_com.microsoft.sqlserver.jdbc.SQLServerDriver_dsn.xml.in
+++ b/providers/jdbc/jdbc_specs_com.microsoft.sqlserver.jdbc.SQLServerDriver_dsn.xml.in
@@ -1,7 +1,7 @@
 <?xml version="1.0"?>
 <data-set-spec>
   <parameters>
-    <parameter id="DB_NAME" _name="Database name" _descr="The name of a database to connect to" 
gdatype="gchararray"/>
+    <parameter id="DB_NAME" _name="Database name" _descr="The name of a database to connect to" 
gdatype="gchararray" nullok="FALSE"/>
     <parameter id="INSTANCE" _name="Instance" _descr="The instance to connect to, if not specified, a 
connection to the default instance is made" gdatype="gchararray"/>
     <parameter id="HOST" _name="Database server" _descr="Host on which the database server is running or 
leave this field empty" gdatype="gchararray"/>
     <parameter id="PORT" _name="Port" _descr="Database server port, 1433 by default" gdatype="gint"/>