$connectionInfo =array("UID"=>$Server_User, "PWD"=>$Server_Pass,"Database"=>$default_db);
 $conns = sqlsrv_connect($Server_IP,$connectionInfo) or die("不能连接到服务器!可能是服务器没有启动!故障原因:".print_r( sqlsrv_errors(), true));$dfs=sqlsrv_query($conns,$sqlstr);$df=sqlsrv_fetch_object($dfs);echo $df->times;后面的HTML和PHP代码也没法执行了如果加上这段代码if($df->times==true){  echo '123';}就会输出123;求解,困恼中……