我正在运行这个php文件：
<?php
$link = mssql_connect('db1.peanut.butter.com:3184', 'user', 'pass');
?>
并收到此错误：
Warning: mssql_connect(): Unable to connect to server: db1.peanut.butter.com:3184 in /tmp/query.php on line 3
服务器已启动并正在运行，我能够从SSMS连接并查询它。
我应该如何在mssql_connect命令中编写服务器？
全名？只是'db1'？没有港口？
谢谢！