Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Update UpdaterTask.php #9

Closed
wants to merge 2 commits into from
Closed

Update UpdaterTask.php #9

wants to merge 2 commits into from

Conversation

aquaminer
Copy link

Add Version to file

Add Version to file
@Aericio
Copy link
Collaborator

Aericio commented Nov 22, 2016

Not really needed...

file_put_contents('plugins/'.$this->name.'.phar', $file);
if(!file_exists('plugins/'.$this->name.'.phar')){
file_put_contents('plugins/'.$this->name.' v'.$this->newversion.'.phar', $file);
if(!file_exists('plugins/'.$this->name.' v'.$this->newversion.'.phar')){
Copy link
Owner

@SalmonDE SalmonDE Nov 22, 2016

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

could you replace the space with _? @opkiler22789

Copy link
Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

@salmonger what's the difference? and so works

Copy link
Owner

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

@opkiler22789 hm wait, I think it's better to make them not havve the version in the name. Just to prevent that the plugin exists multiple times

@SalmonDE SalmonDE self-assigned this Nov 22, 2016
What if the server is off, you can restart?
@SalmonDE
Copy link
Owner

SalmonDE commented Jan 21, 2017

Closing because I think it's better if the version name is not inside the filename due to the chance of having multiple files of the plugin.

@SalmonDE SalmonDE closed this Jan 21, 2017
@aquaminer aquaminer deleted the patch-1 branch January 24, 2017 15:03
@ShotDead7297 ShotDead7297 mentioned this pull request Jun 7, 2018
Closed
@ShotDead7297 ShotDead7297 mentioned this pull request Oct 27, 2018
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

3 participants