changing server_name to server_hostbased_name

Author: rebeccc

docs/source/basic-tutorial.md

@@ -80,7 +80,7 @@ to acquire credentials as such:
 
     >>> REALM.addprinc('HTTP/%s@%s' % (FQDN, REALM.realm))
     >>> REALM.extract_keytab('HTTP/%s@%s' % (FQDN, REALM.realm), REALM.keytab)
-    >>> server_creds = gssapi.Credentials(usage='accept', name=server_name)
+    >>> server_creds = gssapi.Credentials(usage='accept', name=server_hostbased_name)
     >>>
 
 Note that for the krb5 mechanism, in order to acquire credentials with
@@ -100,7 +100,7 @@ credentials are usable:
 
     >>> server_creds.usage
     'accept'
-    >>> server_creds.name == server_name
+    >>> server_creds.name == server_hostbased_name
     True
     >>> server_creds.lifetime is None
     True
@@ -125,7 +125,7 @@ When establishing a security context, the default credentials are
 used unless otherwise specified.  This allows applications to use
 the user's already acquired credentials:
 
-    >>> client_ctx = gssapi.SecurityContext(name=server_name, usage='initiate')
+    >>> client_ctx = gssapi.SecurityContext(name=server_hostbased_name, usage='initiate')
     >>> initial_client_token = client_ctx.step()
     >>> client_ctx.complete
     False