问题列表 - 第47244页

PHP $ _GET问题

我希望你可以帮我解决这个问题,我喜欢用PHP做这个例子:

?ID = 5&语言= EN

首先,?id = 5是一个简单的页面,语言也是在目录中定义的,但我想做到这一点

?ID = 5,EN

我不喜欢说&language=en,只有逗号和恩我怎么能这样做?

php mysql

2
推荐指数
1
解决办法
113
查看次数

Coq中的构造函数是什么?

我无法理解构造函数的原理及其工作原理.

例如,在Coq中,我们被教导如下定义自然数:

Inductive nat : Type :=
   | O : nat
   | S : nat -> nat.
Run Code Online (Sandbox Code Playgroud)

并且被告知这S是一个构造函数,但究竟是什么意思呢?

如果我那么做:

Check (S (S (S (S O)))).
Run Code Online (Sandbox Code Playgroud)

我知道它是4和类型nat.

这是如何工作的,Coq如何知道这(S (S (S (S O))))代表4什么?

我想这个问题的答案是Coq中一些非常聪明的背景魔法.

constructor coq

9
推荐指数
1
解决办法
1097
查看次数

使用VSIX为项目模板部署包含IWizard的程序集

我为VS 2010创建了一个部署项目模板的扩展.项目模板使用在我基于此模板创建新项目时调用的自定义向导(在特定程序集中).

我想在VSIX中打包包含向导的程序集,以便它可以在模板可以找到的地方部署(我知道GAC不是VSIX的选项).

基本上,如果我将程序集部署到GAC,请安装VSIX,然后创建项目,成功调用向导.如果我在不首先部署程序集的情况下执行相同操作,则在创建项目时项目模板不会找到程序集.

我的问题是:如何使用VSIX包部署项目模板及其所需的程序集?

谢谢您的帮助

编辑:我在安装程序项目中将向导程序集引用的VSIX子路径更改为"ProjectTemplates"并相应地更新了vsixmanifest内容程序集引用.它似乎现在工作.

deployment wizard visual-studio-2010 vsix

13
推荐指数
1
解决办法
3745
查看次数

任何人都可以向我详细解释这个正则表达式吗?

我在这里有一个RegEx,我需要知道它是否会100%省略任何不良的电子邮件地址,但我完全不了解它们,因此需要请求社区专家.

字符串如下:

^[_a-zA-Z0-9-]+(.[_a-zA-Z0-9-]+)*@[a-zA-Z0-9-]+(.[a-zA-Z0-9-]+)*(.[a-zA-Z]{2,3})$
Run Code Online (Sandbox Code Playgroud)

先感谢您!

regex perl

0
推荐指数
3
解决办法
3759
查看次数

为视图使用淡入动画

我希望有一个View最初是不可见的,当我按下一个按钮时,它会以淡入淡出的动画显示出来.我正在使用AlphaAnimation褪色效果.问题是,如果我使视图不可见,则无法看到动画.

非常感谢,

的Gratzi

android android-animation

34
推荐指数
2
解决办法
6万
查看次数

Android:BitmapDrawable.Draw(Canvas)似乎不起作用

我正在尝试将20x20背景平铺到我的自定义视图上但由于某种原因我也无法进行.

    BitmapDrawable background;
    background = new BitmapDrawable(BitmapFactory.decodeResource(getResources(), R.drawable.back));
    background.setTileModeXY(Shader.TileMode.REPEAT, Shader.TileMode.REPEAT);
    background.draw(canvas);
Run Code Online (Sandbox Code Playgroud)

有谁知道它为什么不起作用?

android bitmap draw

8
推荐指数
2
解决办法
4216
查看次数

MySql从一个表插入另一个表,其中一个字段不为null

我有一个表"电话簿",其中有1.5M记录,一些记录的"phonenumber"字段为空.

我想将"phonenumber"字段不为空的所有记录复制到另一个表中.即使它看起来很简单,我也无法让它发挥作用.

这是我的代码:

INSERT INTO phonebook2 (company,zip,city,address,tags,phonetype,phonearea,phonenumber)
SELECT company,zip,city,address,tags,phonetype,phonearea,phonenumber
FROM phonebook WHERE phonenumber != null && phonenumber != "";
Run Code Online (Sandbox Code Playgroud)

我没有得到任何错误,但我得到"0行受影响".在手动搜索记录时,我确实看到了phonenumber的NULL值.

有什么建议 ?

**我尝试在没有WHERE部分的情况下运行相同的查询,它确实传输了所有记录.

mysql

3
推荐指数
1
解决办法
5101
查看次数

找不到HTTP 404文件错误,即使该文件存在于Web服务器IIS6.0中

我的服务器中有文件可供下载。我正在使用IIS6.0。当我尝试下载pdf文件时,它说Http 404 file not found错误。但是我在服务器上有文件。谷歌搜索时,我发现我们需要启用mime类型。谁能解释一下这是什么并且摆脱这个问题

iis-6

3
推荐指数
1
解决办法
1万
查看次数

RubyMine 3.1上的Rails 2.x应用程序

我已升级到rubymine 3.1,现在rubymine将所有项目作为rails 3项目,但我的不是.你有没有人面对这个问题.当我尝试运行应用程序时,Ruby mine会激活此消息

运行配置错误:找到Rails 2.x启动器而不是Rails 3.x一个.您需要'/ script/rails'脚本来启动Rails服务器.请根据Rails 3.x文档更新服务器启动器

我的最终状态是我可以从rubymine运行rails 2.x app server

你知道怎么做吗?

ruby ruby-on-rails upgrade rubymine

4
推荐指数
1
解决办法
2590
查看次数

NameError - 未定义全局名称

我试图从html表单中读取一些数据并将其插入数据库.这样做我坚持这个错误"/ nameEmployee /的NameError:全局名称'get_post_param'未定义"; 我会在这里粘贴我的代码.有人可以帮我解决这个问题.
VIEWS.PY

def createEmployee(request):
    if request.method == "POST":
        userName = get_post_param(request,"userName")
        designation = get_post_param(request,"designation")
        employeeID = get_post_param(request,"employeeID")
        contactNumber = get_post_param(request,"contactNumber")
        project = get_post_param(request,"project")
        dateOfJoin = get_post_param(request,"dateOfJoin")
        EmployeeDetails(userName=userName,designation=designation,employeeID=employeeID,contactNumber=contactNumber,project=project,dateOfJoin=dateOfJoin).save()
        return render_to_response('createEmployee.html')
    else:
        return render_to_response('createEmployee.html')
Run Code Online (Sandbox Code Playgroud)

TEMPLATE.PY

<form action="http://127.0.0.1:8000/createEmployee/" method="POST"> 
Name: <input type="text" name="userName" /><br />
Designation: <input type="text" name="designation" /><br>
EmployeeID: <input type="text" name="employeeID" /><br>
Contact Number: <input type="text" name="contactNumber" /><br>
Project: <input type="text" name="project" /><br>
Date Of Join: <input type="text" name="dateOfJoin" /><br>
<input type="submit" value="Submit" /><br />
</form>
Run Code Online (Sandbox Code Playgroud)

python django django-templates django-models django-views

-1
推荐指数
1
解决办法
8929
查看次数